000 00808nam-a2200289-a-4500
005 20240105142124.0
008 000503s1994 maua rb 000 0 eng d
010 _a93006375
020 _a086720463X
035 _a250910
035 _aUIA0194475
040 _aUIASF
_bspa
_cUIASF
050 4 _aQA 9
_bC347.1994
082 0 4 _a511.3
_220
100 _aCausey, Robert L
245 1 0 _aLogic, sets, and recursion /
_cRobert L. Causey.
260 _aBoston :
_bJones and Bartlett,
_c1994.
300 _ax, 405 p. :
_bil. ;
_c25 cm.
440 4 _aThe Jones and Bartlett series in computer science
504 _aIncluye referencias (p. 359-364) e índice.
650 4 _aLógica simbólica y matemática.
905 _a01
942 _cNEWBFXC1
999 _c186834
_d186834
980 _851
_gRonald RUIZ