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.
- ÉditeurIndependently published
- Date d'édition2019
- ISBN 10 1077323395
- ISBN 13 9781077323391
- ReliureBroché
- Langueanglais
- Nombre de pages281
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 13,29
EUR 11,74 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 : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00087768839
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 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
Neuf
Soft cover
Vendeur : BestAroundDeals, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : New. N° de réf. du vendeur ABE-1745799466811
Quantité disponible : 3 disponible(s)