Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Share:
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and...
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
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.
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:Open Logic Project Textbooks
- Language:
- ISBN10:1077323395
- ISBN13:9781077323391
- kindle Asin:1077323395
About Author
