|
|
|
|
| LEADER |
01087nam#a22003015a#4500 |
| 001 |
017955 |
| 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).
|
| 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 38712
|
| 942 |
|
|
|c LIB
|n 0
|
| 999 |
|
|
|c 18220
|d 93607
|