000 00784nam a2200265zi 4500
005 20230621110938.0
008 000623c 1998si 000 0 eng d
020 _a9810230915
035 _aMX001000848384
041 _aSPA
050 4 _aQA76.9M35
_bL83 1998
084 _aGeneral
100 1 _aLu, Zhongwan,
_eautor
245 1 0 _aMathematical logic for computer science /
_cLu Zhongwan
250 _a2nd ed.
264 1 _aSingapore :
_bWorld Scientific,
_cc1998
300 _axi, 244 páginas
490 0 _aSeries in computer science
_v47
650 4 _aLógica simbólica y matemática
650 4 _aMatemáticas computacionales
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c10602
_d10602