| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Three Views of Logic: Mathematics, Philosophy, and Computer Science | 978-O-691-16O44-3 (O-691-16O44-9) | 2014 | Donald W. Loveland · S. G. Sterrett |
E.H. · R. E. · R. H. · Richard E. · Richard H.