| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| A Computational Logic | 978-0-12-122950-4 | 1979 | |
| A Computational Logic Handbook | 978-0-12-122952-8 | 1988 | J. Strother Moore |
| Computational Logic Handbook, A | 978-0-12-122955-9 | 1997 | " |
| Correctness Problem in Computer Science | 978-0-12-122920-7 | 1982 | " |
R. B · R. Boyer · R. S. · Robert B. · Robert Boyer · Robert S. · S. B · S Boyer