Articoli correlati a Incompleteness and Computability: An Open Introduction...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoConnecting readers with great books...
Visualizza questo articolo
EUR 7,13
EUR 3,22 per la spedizione in U.S.A.
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 19,02
EUR 28,82 per la spedizione da Regno Unito a U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Incompleteness and Computability: An Open Introduction...
Foto dell'editore
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Editore:
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
paperback
Da: HPB-Diamond, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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! Codice articolo S_446563475
Quantità: 1 disponibili
Foto dell'editore
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Editore:
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fine. Codice articolo GOR014008938
Quantità: 1 disponibili
Foto dell'editore
Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)
Editore:
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo GOR011708102
Quantità: 1 disponibili
Foto dell'editore
Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)
Editore:
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
Brossura
Da: St Vincent de Paul of Lane County, Eugene, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. Codice articolo V-04-3819
Quantità: 1 disponibili
Foto dell'editore
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. Codice articolo zk1077323395
Quantità: 1 disponibili