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.
- EditoreIndependently published
- Data di pubblicazione2019
- ISBN 10 1077323395
- ISBN 13 9781077323391
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine281
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 13,29
EUR 11,74 per la spedizione da Regno Unito a Italia
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: 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
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
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
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: SecondSale, Montgomery, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Codice articolo 00087768839
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
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
Quantità: 3 disponibili