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
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 8,97
Spedizione EUR 3,48
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
Editore:
Independently published, 2019
ISBN 10: 1077323395
ISBN 13: 9781077323391
Antico o usato
Brossura
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo M01077323395-V
Compra usato
EUR 4,37
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a 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,20
Spedizione EUR 14,55
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
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: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 43181982/3
Compra usato
EUR 7,69
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili