000			00430nam a2200145 i 4500
020			_a0887780806 :
082	0	0	_a510
100	1		_aWOODS, John Hayden.
245	1	0	_aProof & truth : _bmathematical logic for non-mathematicians / _cJohn Woods.
260			_aToronto, _bMartin, _cc1974.
300			_axiv, 192 p. : _bill. ;
500			_aIncludes bibliographies and index.
650		0	_aLogic, Symbolic and mathematical.
942			_cBK01
999			_c3849 _d3849