| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings | 978-3-540-35623-3 (3-540-35623-1) | 2008 | Nik Swoboda · Richard Cox | |
| Language, Proof, and Logic | 978-1-889119-08-3 (1-889119-08-3) | 1999 | Jon Barwise · John Etchemendy · Gerard Allwein · Albert Liu | |
| Sprache, Beweis und Logik. Band 2. Anwendungen und Metatheorie | 978-3-89785-441-3 (3-89785-441-4) | 2006 | Albert Liu · Gerard Allwein · John Etchemendy · Jon Barwise |
BARKER P · D B · D. Barker · D. P. · Dave Barker