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  -