José Luis Zalabardo

Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos tecnicos de la disciplina e introduce los metodos principales de definicion y prueba, prestando especial atencion a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro sera especialmente util para los lectores que pretendan acometer un estudio serio de la logica pero que carezcan de los conocimientos matematicos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoria basica de conjuntos, sintaxis y semantica proposicional y de primer orden, un sistema deductivo basado en el calculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la logica de primer orden, prestando especial atencion a los teoremas de Lowenheim y Skolem y a los modelos no estandar de la aritmetica, la decidibilidad, teorias completas, categoricidad y eliminacion de cuantificadores.