Jenny Edkins · John E. · John Eddison · John Edgington · John Eidsmoe
Center for the Study of Language and Inf · Mentis-Verlag · Oxford University Press
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Language, Proof and Logic | 978-1-57586-374-0 | 2002 | Jon Barwise | |
| Sprache, Beweis und Logik. Band 2: Anwendungen und Metatheorie | 978-3-89785-441-3 | 2006 | John Barwise | |
| Sprache, Beweis und Logik. Band I: Aussagen- und Prädikatenlogik | 978-3-89785-440-6 | 2005 | " | |
| Sprache, Beweis und Logik - Software, 1 CD-ROM | 978-3-89785-442-0 | 2006 | Jon Barwise | |
| Tarski's World: Revised and Expanded | 978-1-57586-484-6 | 2007 | David Barker-Plummer · Jon Barwise | |
| The Concept of Logical Consequence | 978-1-57586-194-4 | 1999 | ||
| The Language of First-Order Logic: Including the Macintosh Program Tarski's World 4.0/Book and Disk | 978-0-937073-99-5 | 1993 | Jon Barwise | |
| The Language of First-Order Logic: Including the Macintosh Program "Tarski's World" | 978-0-937073-74-2 | 1992 | " | |
| The Liar: An Essay on Truth and Circularity | 978-0-19-505944-1 | 1989 | " | |