000 00250nam a2200121Ia 4500
020 _a9780521670890
082 _a004 HUT
100 _aHUTH, MICHAEL
245 _aLOGIC IN COMPUTER SCIENCE
260 _bCUP
_c2014
300 _a427
942 _2ddc
_cB
999 _c68683
_d68683