000 00521nam a2200229Ia 4500
005 20250612105754.0
008 250612s9999 xx 000 0 und d
020 _a9.78E+12
041 _cEnglish
082 _a005.115 HUT
100 _aHUTH AND RYAN
245 0 _aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
250 _a2
260 _bCAMBRIDGE
260 _c2011
300 _a427
300 _ePaper
365 _dRupees
366 _ePURCHASE
942 _cBK
999 _c104907
_d104907