Manuales y tutoriales sobre Lógica matemática

Recopilación de manuales de lógica matemática en PDF. PDF: Lógica matemática de Carlos Ivorra Castillo de la Universidad de Valencia en uv.es. Lenguajes y modelos. El cálculo deductivo. Teorías axiomáticas. La completitud semántica. La aritmética de Peano. La teoría de Kripke-Platek. La teoría de la recursión. La formalización de la lógica. Incompletitud. Teorías de conjuntos. PDF: Lógica y teoría de conjuntos  de Carlos Ivorra Castillo de
Seguir leyendo: Manuales y tutoriales sobre Lógica matemática