000 00299nam a22001217a 4500
020 _a9780521670890
082 _a005.101
100 _a RYAN MARK
245 _aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
260 _aNEW DELHI
_bCUP
_c2004
300 _aXIV, 427P
942 _cBK
999 _c9037
_d9037