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.
Chicago Style (17. basım) AtıfFalguera López, José L., ve Concepción Martínez Vidal. Lógica Clásica De Primer Orden: Estrategias De Deducción, Formalización Y Evaluación Semántica. Madrid: Trotta, 1999.
MLA (9th ed.) AtıfFalguera López, José L., ve Concepción Martínez Vidal. Lógica Clásica De Primer Orden: Estrategias De Deducción, Formalización Y Evaluación Semántica. Trotta, 1999.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..