Verwandte Artikel zu Incompleteness and Computability: An Open Introduction...

Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks) - Softcover

Buch 2 von 5: Open Logic Project Textbooks

Zach, Richard

 
9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Open Logic Project Textbooks)
Softcover
ISBN 10: 1077323395 ISBN 13: 9781077323391
Verlag: Independently published, 2019

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Independently published
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
1077323395
ISBN 13 
9781077323391
Einband
Taschenbuch
Anzahl der Seiten
328
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar