000 00393nam a2200145Ia 4500
100 _aHuth, Michael & Ryan, Mark
020 _a0-521-67089-6
250 _a2nd ed
654 _aComputer Science
942 _cBK
245 _aLogic in computer science
_bmodelling and reasoning about systems
260 _aCambridge University Press, UK
_c2004
082 _a511.3 Hut/Rya
300 _axiv,427
999 _c46018
_d46018