000 00378nam a2200157 a 4500
005 20160322165143.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
020 _a0201416433
041 _aeng
082 _a004.047 REE
100 _aReeves, Steve
_91742
245 _aLogic for computer science
260 _aNewyork
_bAddison-Wesley
300 _avi,260
942 _cBK
999 _c155079
_d155079