|
|
Product Description
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.Customers Who Bought This Item Also Bought
- Boxes and Diamonds: An Open Introduction to Modal Logic
- Sets, Logic, Computation: An Open Logic Text
- Sets, Logic, Computation: An Open Introduction to Metalogic
- forall x: Calgary Remix: An Introduction to Formal Logic
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems
- Computability and Logic Fifth Edition
- Computability: Turing, Gödel, Church, and Beyond (The MIT Press)
- An Introduction to Mathematical Logic (Dover Books on Mathematics)
- Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
- Category Theory in Context (Aurora: Dover Modern Math Originals)
*If this is not the "Incompleteness and Computability: An Open Introduction to Gödel's Theorems" product you were looking for, you can check the other results by clicking this link
.
Details were last updated on Jul 23, 2025 10:01 +08.
![Mathematics and Plausible Reasoning [Two Volumes in One] - //medicalbooks.filipinodoctors.org](https://images-na.ssl-images-amazon.com/images/I/41AiSdYxkeL.jpg)
