000 00287nam a2200109 4500
008 160616s 000 0
245 _aAutomated theorem proving in non classical logics
100 _aThistlewaite, P.B
500 _aD6,8(B) M812
942 _cBK
_2BK6360
080 _a681.3.06 THI
999 _c6360
_d6360