Falguera López, José L. <br/><br/>
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,   [1999] 
 - 2 v ;   23 cm +   1 tabla de reglas lógicas. 
 - Colección Estructuras y procesos. Serie Filosofía .
 - Estructuras y procesos.   Filosofía .
<br/><br/>t. 1. [Sin título] t. 2. Soluciones a los ejercicios 
<br/><br/><label>ISBN: </label>84-8164-291-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica matemática
<br/><br/><label>Universal Decimal Class. No.: </label>164