Aspects of Diagonalization and Provability
por Albert Visser · 1981
Ver sugerenciasSinopsis
Tesis doctoral que profundiza en generalizaciones de los Teoremas de Incompletitud de Gödel y explora el rol de la teoría de la recursión en sistemas formales.
Sé el primero en valorar este libro.
Más de Albert Visser
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.