Lógica clásica de primer orden : estrategias de deducción, formalizaci

Lógica clásica de primer orden : estrategias de deducción, formalizaci JOSE L. FALGUERA LOPEZ TROTTA – Lógica clásica de primer orden : estrategias de deducción, formalizaci – JOSE L. FALGUERA LOPEZ – TROTTA

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.