000 00324nam a22001337a 4500
020 _a9780521670890
082 _a005.101
100 _aHUTH MICHALE
245 _aLOGIC IN COMPUTER SCIENCE MODELING AND REASONING ABOUT SYSTEMS
250 _a2 ND
260 _aNEW DELHI
_bCUP
_c2004
300 _aXIV, 427P
942 _cBK
999 _c9044
_d9044