000			00356nam a2200145Ia 4500
008			211109s9999||||xx |||||||||||||| ||und||
082			_a511.3 _bBIT-L
100			_aBittinger, Marvin L
245		0	_aLogic and Proof
260			_bAddison-Wesley _aPhilippines _c1978
300			_a129p.
630			_xGeneral Stack
650			_vMathematics
942			_cBOOK
999			_c77187 _d77187