Principios de demostración modal
por George Boolos · 1979
Ver sugerenciasSinopsis
Este libro explora la lógica modal para analizar y probar la consistencia e incompletitud de sistemas formales, particularmente en relación con los teoremas de Gödel.
Sé el primero en valorar este libro.
Más de George Boolos
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.