Cambridge University Press · Oxford University Press
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Proofs, Search and Computation in General Logic | 978-0-521-45057-7 (0-521-45057-8) | 2004 | |
| Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control | 978-0-19-852633-9 (0-19-852633-4) | 2004 | Eike Ritter |
D. J. · D. P. · David J. · David P. · David Pym · J. P. · J. Pym