000			01049nam a2200205Ia 4500
008			140223b2005 xxu||||| |||| 00| 0 eng d
020			_a9780521670890 _c0.00
082			_a005.1 _bHUT
100			_aHuth, Michael
245			_aLogic in Computer Science: Modelling and Reasoning about Systems
250			_a2nd ed
260			_aNew York _bCambridge University Press _c2005
300			_a427p
600			_aComputer Engineering
700			_aRyan, Mark
890			_aUSA
995			_AHUT _B003978 _CITT-NIT _D395.00 _E0 _F049 _G1892 _H0 _I0.00 _J316.00 20% _L20051202 _M01 _UC _W20060306 _XMahajan Book Depot _ZGeneral
995			_AHUT _B003978 _CITT-NIT _D395.00 _E0 _F049 _G1892 _H0 _I0.00 _J316.00 20% _L20051202 _M01 _UC _W20060306 _XMahajan Book Depot _ZGeneral
995			_AHUT _B003978 _CITT-NIT _D395.00 _E0 _F049 _G1892 _H0 _I0.00 _J316.00 20% _L20051202 _M01 _UC _W20060306 _XMahajan Book Depot _ZGeneral
999			_c36599 _d36599