B. T. · P T · Paul B. · Paul T.
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated Theorem-proving in Non-classical Logics | 978-0-273-08781-6 (0-273-08781-9) | 1988 | Michael A. McRobbie · Robert K. Meyer |
| Automated theorem-proving in non-classical logics | 978-0-470-21006-2 (0-470-21006-0) | 1988 | |