TY  - BOOK
AU  - Thistlewaite, P.B
TI  - Automated theorem proving in non classical logics
N1  - D6,8(B) M812
ER  -