| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Language, Proof and Logic, 2nd Edition | | 978-1-57586-632-1 | 2011 | David Barker-Plummer · Jon Barwise |
| Language, Proof and Logic | | 978-1-57586-374-0 | 2002 | Jon Barwise |
| Language, Proof, and Logic | | 978-1-889119-08-3 | 1999 | Jon Barwise · Gerard Allwein · Dave Barker-Plummer · Albert Liu |
| Sprache, Beweis und Logik. Band I: Aussagen- und Prädikatenlogik | | 978-3-89785-440-6 | 2005 | John Barwise |
| Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie | | 978-3-89785-441-3 | 2006 | " |
| 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 | Jon Barwise · David Barker-Plummer |
| The Concept of Logical Consequence | | 978-1-57586-194-4 | 1999 |
| The Language of First-Order Logic, Including Tarski's World 3.0 | | 978-0-937073-74-2 | 1992 | Jon Barwise |
| The Language of First-Order Logic: Including the Macintosh Program Tarski's World 4.0/Book and Disk | | 978-0-937073-99-5 | 1993 | " |
| The Liar: An Essay on Truth and Circularity | | 978-0-19-505944-1 | 1989 | " |