000 00257nam a22001217a 4500
003 SGT
082 _a006.3,HUT
100 _aHUTH MICHAEL
245 _aLOGIC IN COMPUTER SCIENCE
260 _bCAMBRIDGE PUBLISHERS
_c2010
300 _a370
942 _2ddc
_cRARE
999 _c34750
_d34750