Incompleteness and Computability: An Open Introduction to G?del's Theorems (Open Logic Project Textbooks)
Zach, Richard
ISBN 10: 1077323395 ISBN 13: 9781077323391
Edité par Independently published, 2019
Ancien(s) ou d'occasion
Couverture souple
Vendeur
World of Books (was SecondSale), Montgomery, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 20 décembre 2007
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00087768839
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 « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Incompleteness and Computability: An Open ...
Éditeur : Independently published
Date d'édition : 2019
Reliure : Couverture souple
Etat : Good
Meilleurs résultats de recherche sur AbeBooks
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
Acheter D'occasion
EUR 5,43
EUR 6,42 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 43181982/3
Acheter D'occasion
EUR 8,20
EUR 105 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
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
Acheter D'occasion
EUR 8,74
EUR 3,39 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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
Acheter neuf
EUR 18,92
EUR 14,33 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Edité par
Independently published 11.2019., 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
, Softcover/Paperback
Vendeur : Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
, Softcover/Paperback. Etat : Sehr gut. 328 Seiten Fresh and clean copy in good condition. Frisch erhaltenes und sauberes Exemplar in gutem Zustand. Contents: Introduction to Incompleteness - Recursive Functions - Arithmetization of Syntax - Representability in Q - Incompleteness and Provablity - Models of Arithmetic - Second-Order Logic - The Lambda Calculus - Derivations in Arithmetic Theories - First Order Logic - Natural Deduction - Biographies ISBN 9781077323391 Sprache: Englisch Gewicht in Gramm: 545. N° de réf. du vendeur 1267983
Acheter D'occasion
EUR 22
EUR 40 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)