Lógica y teoría de conjuntos

Se divide en tres partes:

Primera parte: Lógica de primer orden
Teorías axiomáticas, introducción a la teoría de modelos, el teorema de completitud de Gödel, introducción a la teoría de la recursión, los teoremas de incompletitud de Gödel.

Segunda parte: La lógica de la teoría de conjuntos
Las axiomáticas de Zermelo-Fraenkel y von Neumann-Bernays-Gödel, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos.

Tercera parte: Teoría de conjuntos
Ordinales, inducción y recursión sobre relaciones bien fundadas, cardinales.

Descargar aquí