Articoli correlati a Incompleteness and Computability: An Open Introduction...
Incompleteness and Computability: An Open Introduction to Gödel's Theorems - Brossura
Libro 2 di 5: Open Logic Project Textbooks
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.
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 Inc., 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_490638347
Compra usato
EUR 7,42
Spedizione EUR 3,38
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra usato
EUR 9,28
Spedizione EUR 3,60
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra nuovo
EUR 19,74
Spedizione EUR 14,96
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Editore:
Independently published 11.2019., 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
, Softcover/Paperback
Da: Borkert, Schwarz und Zerfaß GbR, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
, Softcover/Paperback. Condizione: 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. Codice articolo 1267983
Compra usato
EUR 22,00
Spedizione EUR 40,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Da: BestAroundDeals, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: New. Codice articolo ABE-1745799466811
Compra nuovo
EUR 110,66
Spedizione EUR 9,00
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili