Principios de demostración modal
por George Boolos · 1979
Sinopsis
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.
Libros similares
Libros relacionados según distintos criterios de búsqueda