000 00687nam a2200253 4500
999 _c16672
_d16670
003 CO-MdCUR
005 20210413103135.0
007 ta
008 170814s2003 sp |||fr|||| 000 0 spa d
020 _a8497321820
040 _cRemington
_aCO-MdCUR
_erda
041 _aspa
082 _221
_a005.1015113
_bP192
100 1 _944500
_aPaniagua Aris, Enrique
245 1 0 _aLógica computacional
264 _aEspaña :
_bThomson ,
_c2003
300 _a205 páginas
650 0 _927484
_aProgramacion Logica
650 0 _913847
_aLógica simbólica y matemática
942 _2ddc
_cBK