Lógica Clásica de Primer Orden : Estrategias de Deducción, Formalización y Evaluación Semántica /
José L. Falguera López, Concepción Martínez Vidal,
- Primera edición: 1999
- Madrid, España : Trotta, 1999.
- 482 paginas, Ilustraciones, 23 X 15 centímetros,
- Estructuras y procesos, .
- Filosofía .