Sold out
- Vendor: Mia Karts
Incompleteness and Computability: An Open Introduction to Gdel's Theorems (Open Logic Project Textbooks)
$19.05 USD
$15.24 USD
Free U.S. shipping on all orders. Free international shipping on orders over $99
All orders are dispatched the next business day!
Competitive Pricing You Can Trust — Quality You Can Rely On.
ISBN: 1077323395
Author: Zach, Richard
Condition: New
This book is an introduction to metamathematics and Gdel'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.
Have a question?
Incompleteness and Computability: An Open Introduction to Gdel's Theorems (Open Logic Project Textbooks)
$19.05 USD
$15.24 USD