Falguera López, J. L., & Martínez Vidal, C. (1999). Lógica clásica de primer orden: Estrategias de deducción, formalización y evaluación semántica. Trotta.
Cita Chicago Style (17a ed.)Falguera López, José Luis, y C. Martínez Vidal. Lógica Clásica De Primer Orden: Estrategias De Deducción, Formalización Y Evaluación Semántica. Madrid: Trotta, 1999.
Cita MLA (9a ed.)Falguera López, José Luis, y C. Martínez Vidal. Lógica Clásica De Primer Orden: Estrategias De Deducción, Formalización Y Evaluación Semántica. Trotta, 1999.
Precaución: Estas citas no son 100% exactas.
