Lógica y teoría de conjuntos

Título. Lógica y teoría de conjuntos. 

Descripción. Libro que con los principales conceptos de la lógica y de la teoría de conjuntos. 

Autores. Carlos Iborra Castillo.

Índice.

• Lenguajes formales de primer orden. 
• Sistemas deductivos formales. 
• Modelos. 
• La completitud semántica. 
• Teoría de la recursión. 
• Teorías aritméticas. 
• Incompletitud. 
• Los axiomas de la teoría de conjuntos. 
• Modelos de la teoría de conjuntos. 
• La formalización de la lógica en teoría de conjuntos. 
• Números ordinales. 
• Relaciones bien fundadas. 
• Números cardinales. 
• La exponenciación cardinal. 
• Conjuntos cerrados no acotados. 

Link.