TY - BOOK AU - Thistlewaite, Paul B. AU - Meyer, Robert K. TI - AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS SN - 0273087819 U1 - 511.3 PY - 1988/// CY - London PB - Pitman KW - Automatic Theorem Proving KW - Non-Classical -- Mathematical Logic N1 - Bibliography : P. 135-142; Includes Index ER -