Principios de demostración modal
1979·no ficcion
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.
estadounidense
George Boolos fue un filósofo y lógico estadounidense que contribuyó significativamente al estudio de la lógica y la filosofía de la matemática, especialmente en el área de la teoría de conjuntos. Es conocido por su trabajo sobre los fundamentos de la lógica y por ser coautor de un influyente libro de texto sobre lógica matemática.
1979·no ficcion
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.
Aparecen junto a George Boolos en búsquedas del archivo