Al igual que Grzegorczyk, Suppes ofrece un tratamiento riguroso de la lógica formal y su noción de teoría de la demostración, añadiendo profundidad al estudio.
Elementos de lógica formal
por Andrzej Grzegorczyk · 1969
Ver sugerenciasSinopsis
Un libro de texto que proporciona una introducción concisa y rigurosa a la lógica formal, cubriendo la lógica proposicional, la lógica de predicados y nociones básicas de teoría de conjuntos.
Sé el primero en valorar este libro.
Más de Andrzej Grzegorczyk
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Halmos presenta una estructura clara y accesible para los fundamentos de la lógica matemática, similar al enfoque conciso de Grzegorczyk en lógica proposicional y de predicados.
Novikov enfatiza las pruebas y la consistencia en los sistemas deductivos, conectando con el rigor requerido en la lógica formal que Grzegorczyk discute.
Grzegorczyk y su obra sobre teoría de modelos se alinean con el enfoque riguroso de este texto, que explora conceptosElementos de lógica formal y su aplicación.
Vopěnka presenta una introducción a la lógica formal desde una perspectiva alternativa de la teoría de conjuntos, desafiando el enfoque tradicional que Grzegorczyk utiliza.
Łukasiewicz, al introducir la lógica simbólica y la notación polaca, complementa la exploración meticulosa de Grzegorczyk en los fundamentos de la lógica formal.