Lógica clásica de primer orden. «Estrategias de deducción, formalización y evaluación semántica»

Concebido bajo la forma de manual de uso para docentes y estudiantes de lógica formal, «Lógica clásica de primer orden» presenta como principal novedad su hincapié en los aspectos conceptuales que están a la base y dan sentido a los elementos técnicos que se manejan en cualquier presentación actual de la lógica deductiva. Todo ello al objeto de que el alumno pueda comprender y evaluar con sentido crítico y no de forma meramente automática los problemas que se trabajan en el aula.