Languages
Thistlewaite, Paul B.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated theorem proving in non-classical logics
by:
Mcrobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B.
(Language materials, printed)