000			00644pam a2200217a 44500
008			160408bc1988 xxu||||| |||| 00| 0 eng d
020			_a0273087819
082			_a511.3 _bT349a
100			_aThistlewaite, Paul B.
245	1		_aAUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS
260			_aLondon _bPitman _cc1988
300			_a154
440			_aResearch Notes In Theoretical Computer Science _v
500			_aBibliography : P. 135-142
500			_aIncludes Index
650			_aAutomatic Theorem Proving
650			_aNon-Classical -- Mathematical Logic
700			_aMeyer, Robert K.
964			_gCIRC
997			_aA113831 C
999			_c321119 _d321119