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
| Main Author: | Falguera, José Luis |
|---|---|
| Other Authors: | Martínez Vidal, Concepción (1961-) |
| Format: | Book |
| Publication: |
Madrid : Trotta, D.L. 1999 |
| Physical Description: | 2 v. : gráf. ; 23 cm |
| Clasificación CDU: |
161 |
| Contenido: |
v. 1. [Sin título] (482 p.) -- v. 2. Soluciones a los ejercicios (167 p.) |
| Collection: |
Colección Estructuras y Procesos (Trotta). Serie Filosofía
|
| Subjects: | |
| ISBN: |
84-8164-317-3 (v. 1.) 84-8164-318-1 (v. 2.) |
Granada - General
| Copy 274996 | Available |
|---|---|
| Copy 274995 | Available |