A textbook on recursive function theory and Gödel's incompleteness theorems. Also covers models of arithmetic and second-order logic.
"Sinopsis" puede pertenecer a otra edición de este libro.
Richard Zach is Professor of Philosophy at the University of Calgary
"Sobre este título" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición