Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Format:
Paperback
En stock
0.62 kg
Sí
Nuevo
Amazon
USA
- 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.
IMPORT EASILY
By purchasing this product you can deduct VAT with your RUT number