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 lgica formal, Lgica clsica de primer orden presenta como principal novedad su hincapi en los aspectos conceptuales que estn a la base y dan sentido a los elementos tcnicos que se manejan en cualquier presentacin actual de la lgica deductiva. Todo ello al objeto de que el alumno pueda comprender y evaluar con sentido crtico y no de forma meramente automtica los problemas que se trabajan en el aula.