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

2 títulos

Elementos de lógica formal

1961·no ficcion

Una introducción integral a la lógica matemática, cubriendo la lógica proposicional, de predicados y nociones básicas de teoría de modelos y recursión. Su enfoque es claro y didáctico, presentando los conceptos de manera accesible pero rigurosa.

Fundamentos de la Teoría de Modelos

1974·no ficcion

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