| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Language, Proof, and Logic | 978-1-889119-08-3 (1-889119-08-3) | 1999 | Jon Barwise · John Etchemendy · Gerard Allwein · Dave Barker-Plummer | |
| Sprache, Beweis und Logik. Band 2. Anwendungen und Metatheorie | 978-3-89785-441-3 (3-89785-441-4) | 2006 | Dave Barker- Plummer · Gerard Allwein · John Etchemendy · Jon Barwise |