Lógica clásica de primer orden :

Falguera López, José Luis.

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. - Madrid : Trotta, D.L. 1999.

482 p. ; 23 cm.

Incluye referencias bibliográficas (p. 477-482)

8481642916 (O.C.) 8481643173 (Tomo I)

164(035)