Incompleteness and Computability: An Open Logic Text - Couverture souple
Livre 2 sur 5: Open Logic Project Textbooks
Synopsis
A textbook on recursive function theory and Gödel's incompleteness theorems. Also covers models of arithmetic and second-order logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Richard Zach is Professor of Philosophy at the University of Calgary
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
