Search:

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Format Post in Mathematics BY Peter B. Andrews

0120585359 Shared By Guest

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Peter B. Andrews is available to download

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B.An Introduction to Mathematical ... Textbook Andrews
Type: eBook
Released: 1986
Publisher: AP
Page Count: 318
Format: djvu
Language: English
ISBN-10: 0120585359
ISBN-13: 9780120585359
This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

You should be logged in to Download this Document. Membership is Required. Register here

Comments (0)

Currently,no comments for this book!