Articles liés à Incompleteness and Computability: An Open Introduction...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 19,08
EUR 11,56 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Incompleteness and Computability: An Open Introduction...
Image d'archives
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Edité par
Independently published, 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR011708102
Quantité disponible : 1 disponible(s)
Image d'archives
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Edité par
Independently published, 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fine. N° de réf. du vendeur GOR014008938
Quantité disponible : 1 disponible(s)
Image d'archives
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. N° de réf. du vendeur zk1077323395
Quantité disponible : 1 disponible(s)
Image d'archives
Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)
Edité par
Independently published, 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
Couverture souple
Vendeur : St Vincent de Paul of Lane County, Eugene, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. N° de réf. du vendeur V-04-3819
Quantité disponible : 1 disponible(s)
Image d'archives
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Edité par
Independently published, 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
paperback
Vendeur : HPB-Diamond, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_446563475
Quantité disponible : 1 disponible(s)