000 00714nam a2200241Ia 4500
003 OSt
005 20260901113653.0
008 210219s9999||||xx |||||||||||||| ||und||
020 _a9789380108391
082 _a005.015113 HEI-D
100 _aHein, James. L.
245 0 _aDiscrete structures, logic, and computability
250 _a3rd
260 _aNew Delhi
_bJones Bartlet
_c2010
300 _axiv, 1009 p. : ill. ; 25 cm.
650 _aComputer science--Mathematics
_996713
650 _aLogic programming
_996714
650 _aData structures (Computer science)
_996715
650 _aLogic, Symbolic and mathematical
_996716
650 _aComputable functions
_996717
942 _cBK
999 _c49430
_d49430