Incompleteness and Computability: An Open Introduction to Gödel's Theorems - Couverture souple
Livre 2 sur 5: Open Logic Project Textbooks
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.
Autres éditions populaires du même titre
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
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,76
EUR 3,40 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)
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)