Your search returned 2 results.

Sort
Results
No cover image available
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.

by Falguera López, José Luis | Martínez Vidal, Concepción.

book Book Publisher: Madrid : Trotta, D.L. 1999
Current library Location Call no. Status
Seminario Metropolitano de Oviedo Sala tercera NCH-1172 Available

No cover image available
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica (Soluciones a los ejercicios) / José L. Falguera López, Concepción Martínez Vidal.

by Falguera López, José Luis | Martínez Vidal, Concepción.

book Book Publisher: Madrid : Trotta, D.L. 1999
Current library Location Call no. Status
Seminario Metropolitano de Oviedo Sala tercera NCH-1499 Available