Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
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.
Best prices to buy, sell, or rent ISBN 9781077323391
Frequently Asked Questions about Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
The price for the book starts from $11.59 on Amazon and is available from 3 sellers at the moment.
If you’re interested in selling back the Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) book, the best buyback offer comes from and is $ for the book in good condition.
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) book is in low demand now as the rank for the book is 476,232 at the moment. It's a low rank, and the book has not much sales on Amazon.
The highest price to sell back the Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) book within the last three months was on January 15 and it was $0.52.