000 00516nam a2200169Ia 4500
008 150322s9999 xx 000 0 und d
082 0 4 _a511.3 B547l 1996
100 1 _aBertossi Durán, Leopoldo.
245 1 0 _aLógica para ciencia de la computación /
_cLeopoldo Bertossi Durán.
250 _a1a. ed.
260 _aSantiago :
_bUniversidad Católica de Chile,
_c1996.
300 _a302 p.
590 _aOTRCA-OTR.
591 _aLibros Colección General.
650 4 _aLOGICA MATEMATICA.
942 _2ddc
_cLBCG
999 _c16778
_d16778