Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica

Falguera López, José L.

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 - 167 páginas 23 cm - Estructuras y procesos . Filosofía .

Soluciones a los ejercicios Tomo 2 :

8481642916 (obra completa) 8481643181 (T. 2)


Lógica matemática

BC50 / .F35 1999