Este manual proporciona una introduccion rigurosa a los conceptos y resultados fundamentales de la logica contemporanea Tambien presenta las herramientas matematicas principalmente de la teoria 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 ...