000			00493nam a2200205Ia 4500
008			240510s9999 xx 000 0 und d
020			_a0000387948937
041			_aEng
082			_a005.101 51
082			_bN26
100			_aNERODE A. & SHORE R.A.
245		0	_aLOGIC FOR APPLICATIONS
250			_a2nd ed.
260			_bNEW YORK : SPRINGER
260			_c1997
300			_a456 p.
650			_aMATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING
942			_2ddc
942			_cRBK
999			_c25267 _d25267
945			_a1 _bMadushi Gamage _c1 _dMadushi Gamage