D.W. · D. W. Loveland · Donald W. · W.L.
Elsevier · Princeton University Press
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated theorem proving: A logical basis | 978-0-7204-0499-9 (0-7204-0499-1) | 1978 | |
| Three Views of Logic: Mathematics, Philosophy, and Computer Science | 978-0-691-16044-3 (0-691-16044-9) | 2014 | Richard E. Hodel · S. G. Sterrett |