Lógica clásica de primer orden : Estrategias de deducción, formalización y evaluación semántica
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Spanish |
| Published: |
Madrid :
Trotta,
1999.
|
| Series: | Estructuras y Procesos.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01136nam#a22003135a#4500 | ||
|---|---|---|---|
| 001 | 017954 | ||
| 005 | 20160721154158.0 | ||
| 008 | 060522s1999####sp#######b####000#0#spa#d | ||
| 020 | |a 8481642916 (Obra completa) | ||
| 082 | 0 | 4 | |a 160 |2 21 |
| 099 | |a 03-F37 [Solicitar Tabla en mostrador] | ||
| 100 | 1 | |a Falguera López, José L | |
| 245 | 0 | 2 | |a Lógica clásica de primer orden : |b Estrategias de deducción, formalización y evaluación semántica |c José L. Falguera López, Concepción Martínez Vidal. |
| 260 | |a Madrid : |b Trotta, |c 1999. | ||
| 300 | |a 2 v : |b gráficos ; |c 23 cm. | ||
| 490 | 0 | |a Estructuras y Procesos. | |
| 500 | |a t.1 (38711).-- t. 2 Soluciones de ejercicios (38712) | ||
| 500 | |a Incluye tabla de reglas lógicas. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 650 | 7 | |a Teoría lógica |2 Spines | |
| 650 | 7 | |a Enunciados |2 Spines | |
| 650 | 7 | |a Deducción |2 Spines | |
| 650 | 7 | |a Semántica |2 Spines | |
| 650 | 7 | |a Axiomas |2 Spines | |
| 650 | 7 | |a Razonamiento |2 Spines | |
| 700 | 1 | |a Martínez Vidal, Concepción | |
| 929 | |a DONACION |b Javier Legris |d 0 |e 20060518 |g 401 |j 38711 | ||
| 942 | |c LIB |n 0 | ||
| 999 | |c 18219 |d 93606 | ||