000 00296nam a2200109Ia 4500
008 230401s9999 xx 000 0 eng d
100 _aHUTH, MICHAEL, RYAN, MARK,
245 0 _aLOGIC IN COMPUTER SCIENCE : MODELLING & REASONING
250 _aIInd
260 _bUNIVERSITY PRESS
942 _2ddc
_cBTECH
999 _c6694
_d6694