|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000109776 |
| 003 |
CO-BoSNA |
| 005 |
20260109095731.0 |
| 008 |
231124s2010^^^^ck^^^^^gr^^^^^000^0^spa^d |
| 020 |
|
|
|a 9789586955423
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|c CO-BoSNA
|e rda
|
| 082 |
0 |
4 |
|a 160
|b P521i
|2 23
|
| 100 |
1 |
|
|a Páez, Andrés
|e autor
|
| 245 |
1 |
0 |
|a Introducción a la lógica moderna /
|c Andrés Páez.
|
| 250 |
|
|
|a Segunda edición
|
| 264 |
|
1 |
|a Bogotá :
|b Ediciones Uniandes,
|c D.L. 2010.
|
| 300 |
|
|
|a 526 páginas ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 504 |
|
|
|a Incluye bibliografía
|
| 505 |
0 |
|
|a La lógica proposicional -- Semántica del lenguaje Lp -- Arboles de verdad en Lp -- Deducción natural en Lp -- Estrategias para construir derivaciones -- * SDN* -- Introducción a la lógica de predicados -- Introducción formal al lenguaje LC -- Semántica del lenguaje LC -- Arboles de verdad de LC -- Deducción natural en LC -- Introducción a la lógica modal -- Arboles de verdad modales -- Deducción natural modal -- Respuestas a los ejercicios pares
|
| 650 |
1 |
7 |
|a Lógica moderna
|2 Armarc 2.0
|
| 650 |
1 |
0 |
|a Lógica simbólica y matemática
|2 Armarc 2.0
|
| 952 |
|
|
|0 0
|1 0
|4 6
|6 160_000000000000000_P521I
|7 0
|8 GENER
|9 467309
|a 19221
|b 19221
|d 2023-11-24
|i 207077
|l 0
|o 160 P521i
|p 199221004573
|r 2026-01-09 09:57:31
|t Ej. 1
|w 2026-01-09
|y BOOK
|z Cra. 9 No. 71N-60, Popayán
|
| 999 |
|
|
|c 105705
|d 105705
|
| 942 |
|
|
|6 160_000000000000000__P521I
|
