El sistema universal
1968·filosofia
Una obra de lógica matemática y filosofía de la ciencia del destacado lógico polaco. Explora los fundamentos axiomáticos de las teorías científicas y la construcción de sistemas formales.
AG
AG
Andrzej Grzegorczyk
polaco
Andrzej Grzegorczyk fue un influyente filósofo y logician polaco conocido por sus trabajos en teoría de conjuntos y lógica. Su relevancia radica en sus contribuciones al desarrollo de la lógica matemática y su impacto en la filosofía contemporánea.
Obras en el archivo
4 títulos
Lógica y Ontología
1968·filosofia
Un estudio profundo sobre las relaciones entre la lógica formal y la ontología, investigando cómo las estructuras lógicas se conectan con la naturaleza del ser y la existencia.
Elementos de lógica formal
1969·divulgacion
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.
Fundamentos de la Teoría de Modelos
1974·divulgacion
Este texto soviético es una introducción rigurosa a los conceptos fundamentales de la teoría de modelos, cubriendo lógica de primer orden, estructuras y propiedades elementales, así como los teoremas clásicos de Löwenheim-Skolem y compacidad.
Autores relacionados
Aparecen junto a Andrzej Grzegorczyk en búsquedas del archivo