Este manual proporciona una introducción rigurosa a los conceptos yresultados fundamentales de la lógica contemporánea. También presentalas herramientas matemáticas, principalmente de la teoría deconjuntos, necesarias para comprender los aspectos técnicos de ladisciplina e introduce los métodos principales de definición y prueba, prestando especial atención a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro será especialmenteútil para los lectores que pretendan acometer un estudio serio de lalógica pero que carezcan de los conocimientos matemáticos que sepresuponen en otros textos a este nivel. El libro contiene cientos deejercicios. Entre los temas tratados se encuentran la teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, unsistema deductivo basado en el cálculo de secuentes, los teoremas dela consistencia y la completud, la cardinalidad, las limitacionesexpresivas de la lógica de primer orden, prestando especial atención a los teoremas de L"wenheim y Skolem y a los modelos no estándar de laaritmética, la decidibilidad, teorías completas, categoricidad yeliminación de cuantificadores.1. Los elementos.- Lógicaproposicional.- Lógica de primer orden: sintaxis y semántica.- Ladeducción.- Consistencia y completud.- La cardinalidad.- 7.Limitaciones represivas.- La decibilidad.- Símbolos y notación.
