Incompleteness and Computability: An Open Logic Text - Softcover
Buch 2 von 5: Open Logic Project Textbooks
Inhaltsangabe
A textbook on recursive function theory and Gödel's incompleteness theorems. Also covers models of arithmetic and second-order logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Richard Zach is Professor of Philosophy at the University of Calgary
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
