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
| Autor principal: | Falguera, José Luis |
|---|---|
| Otros autores: | Martínez Vidal, Concepción (1961-) |
| Formato: | Libro |
| Publicación: |
Madrid : Trotta, D.L. 1999 |
| Descripción física: | 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.) |
| Colección: |
Colección Estructuras y Procesos (Trotta). Serie Filosofía
|
| Materias: | |
| ISBN: |
84-8164-317-3 (v. 1.) 84-8164-318-1 (v. 2.) |
Tabla de Contenidos:
- v. 1. [Sin título] (482 p.)
- v. 2. Soluciones a los ejercicios (167 p.)