| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computational Logic | 978-0-12-122950-4 (0-12-122950-5) | 1980 | J.Strother Moore |
| The Computational Logic Handbook | 978-0-12-122952-8 (0-12-122952-1) | 1988 | J. Strother Moore |
R.B. · R. Boyer · R.S. · Robert B. · Robert Boyer · Robert S.