|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
000062700 |
| 003 |
CO-BoSNA |
| 005 |
20260107161207.0 |
| 008 |
130810s2010^^^^ck^a^^^fr^^^^^001^0^spa^d |
| 020 |
|
|
|a 9789587200546
|
| 040 |
|
|
|a CO-BoSNA
|b spa
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
4 |
|a 160
|b S572a
|2 23
|
| 100 |
1 |
|
|a Sierra A., Manuel
|
| 245 |
1 |
0 |
|a Argumentación deductiva con diagramas y árboles de forzamiento /
|c Manuel Sierra A.
|
| 260 |
|
|
|a Medellín :
|b Fondo Editorial Universidad EAFIT,
|c c2010.
|
| 300 |
|
|
|a 253 páginas :
|b ilustraciones ;
|c 24 cm.
|
| 504 |
|
|
|a Incluye referencias bibliográficas e indice
|
| 505 |
0 |
|
|a Diagramación de argumentos -- Representación simbólica de la información -- Árboles de forzamiento semántico clásico -- Sistema deductivo para la lógica clásica.
|
| 650 |
1 |
7 |
|a Calculo proposicional
|x Problemas, ejercicios, etc.
|2 Armarc
|
| 650 |
2 |
7 |
|a Lógica de primer orden
|x Problemas, ejercicios, etc.
|2 Armarc
|
| 650 |
2 |
7 |
|a Razonamiento
|2 Armarc
|
| 952 |
|
|
|0 0
|1 0
|4 5
|6 160_000000000000000_S572A
|7 0
|8 GENER
|9 281819
|a 68545
|b 68545
|d 2013-08-10
|i 185977
|l 0
|o 160 S572a
|p 689545000538
|r 2026-01-07 16:12:07
|t Ej. 1
|w 2026-01-07
|y BOOK
|z Cra. 11 No. 13-13, Málaga
|
| 999 |
|
|
|c 58697
|d 58697
|
| 942 |
|
|
|6 160_000000000000000__S572A
|
