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 fournie par le vendeur
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 : Bay State Book Company, North Smithfield, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. N° de réf. du vendeur BSM.ZIXX
Acheter D'occasion
EUR 8,59
Livraison gratuite
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 (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,72
Expédition à EUR 3,38
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
Edité par
Independently published, 2019
ISBN 10 : 1077323395
ISBN 13 : 9781077323391
Ancien ou d'occasion
Couverture souple
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. N° de réf. du vendeur M01077323395-V
Acheter D'occasion
EUR 9,22
Expédition à EUR 15
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
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 19,08
Expédition à EUR 14,45
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 17,60
Expédition à EUR 40
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
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)