| 000 | 00951nam a2200253 i 4500 | ||
|---|---|---|---|
| 001 | 53909 | ||
| 003 | ES-MaACL | ||
| 005 | 20251010161526.0 | ||
| 007 | t| | ||
| 008 | 031119s1999 sp d |||| | spa d | ||
| 020 | _a84-8164-291-6 | ||
| 080 | _a164 | ||
| 100 | 1 |
_aFalguera López, José L. _948741 |
|
| 245 | 1 | 0 |
_aLógica clásica de primer orden _b: estrategias de deducción, formalización y evaluación semántica / _cJosé L. Falguera López, Concepción Martínez Vidal. |
| 260 |
_aMadrid : _bTrotta, _c[1999] |
||
| 300 |
_a2 v ; _c23 cm + _e1 tabla de reglas lógicas. |
||
| 490 | 1 | _aColección Estructuras y procesos. Serie Filosofía | |
| 505 | 8 | _at. 1. [Sin título] t. 2. Soluciones a los ejercicios | |
| 650 | 7 |
_aLógica matemática _2embne _914697 |
|
| 700 | 1 |
_aMartínez Vidal, C., _d1961- _978479 |
|
| 830 | 0 | 0 |
_aEstructuras y procesos. _pFilosofía _9183056 |
| 852 |
_aES-MaACL _jL-26711 |
||
| 999 |
_c53909 _d53909 |
||