000			00377nam a2200133Ia 4500
008			211215s9999 xx 000 0 und d
040			_cJayakar Knowledge Resource Centre
100			_aAmbrose. Alice
245		0	_aLogic: the theory of formal inference
260			_bHOLT, RINEHART AND WINSTON, INC _aNEW YORK _c1961
300			_a69 p p.
653			_aMATHEMATICS
942			_c1
999			_c79793 _d79793