000
00287nam a2200109 4500
008
160616s 000 0
245
_a
Automated theorem proving in non classical logics
100
_a
Thistlewaite, P.B
500
_a
D6,8(B) M812
942
_c
BK
_2
BK6360
080
_a
681.3.06 THI
999
_c
6360
_d
6360