Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. Es una herramienta ideal para lectores que buscan un estudio serio de la lógica pero que requieren un refuerzo en los conocimientos matemáticos necesarios.

• Presenta herramientas matemáticas, principalmente de la teoría de conjuntos, para comprender los aspectos técnicos de la disciplina.
• Introduce métodos principales de definición y prueba, con especial atención a las definiciones y pruebas inductivas y recursivas.
• Incluye cientos de ejercicios para facilitar el aprendizaje.
• Temas tratados: teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, sistema deductivo basado en el cálculo de secuentes, teoremas de consistencia y completud, cardinalidad, limitaciones expresivas de la lógica de primer orden (teoremas de Löwenheim y Skolem), modelos no estándar de la aritmética, decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores.
• Contenido estructurado: Los elementos, Lógica proposicional, Lógica de primer orden (sintaxis y semántica), La deducción, Consistencia y completud, La cardinalidad, Limitaciones expresivas, La decidibilidad, Símbolos y notación.