Este libro, titulado 'Lógica Clásica de Primer Orden', es un manual de uso para docentes y estudiantes de lógica formal. Destaca por su enfoque en los aspectos conceptuales que fundamentan los elementos técnicos de la lógica deductiva. El objetivo es que el alumno comprenda y evalúe críticamente los problemas, en lugar de hacerlo de forma automática. Escrito por José Luis Falguera y Concepción Martínez Vidal, fue publicado por Editorial Trotta.