511.3 / T349a
Thistlewaite, Paul B.
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS
/
.- London: Pitman, c1988
.- 154 .
.- ( Research Notes In Theoretical Computer Science
Bibliography : P. 135-142 Includes Index
ISBN: 0273087819
Subject Headings:
Automatic Theorem Proving;
Non-Classical -- Mathematical Logic;
Author Added Entry:
Meyer, Robert K.;
Copy Details:
Acc. No.: A113831, Full Call No.: 511.3 T349a, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------