000 00515nam a2200217Ia 4500
005 20250612105751.0
008 250612s9999 xx 000 0 und d
020 _a9.78E+12
082 _a005.115 HUT
100 _aHUTH AND RYAN
245 0 _aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
250 _a2
260 _bCAMBRIDGE
260 _c2010
300 _a427
300 _ePaper
365 _dRupees
366 _ePURCHASE
942 _cBK
999 _c104817
_d104817