| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Admissible Sets and Structures | Hardcover | 978-1-107-16833-6 | 2017 | ||
| Admissible Sets and Structures. An Approach to Definability Theory | Gebunden | 978-3-540-07451-9 | 1976 | ||
| Information Flow: The Logic of Distributed Systems | Paperback | 978-0-521-07099-7 | 2009 | ||
| Information Flow: The Logic of Distributed Systems | Hardcover | 978-0-521-58386-2 | 1997 | Jerry Seligman | |
| Language, Proof and Logic, 2nd Edition | Paperback | 978-1-57586-632-1 | 2011 | David Barker-Plummer · John Etchemendy | |
| Language, Proof and Logic | " | 978-1-57586-374-0 | 2002 | John Etchemendy | |
| Language, Proof, and Logic | " | 978-1-889119-08-3 | 1999 | John Etchemendy · Gerard Allwein · Dave Barker-Plummer · Albert Liu | |
| Situationen und Einstellungen | Sondereinband | 978-3-11-010425-7 | 1987 | John Perry | |
| Situations and Attitudes | Paperback | 978-1-57586-193-7 | 1998 | " | |
| Situations and Attitudes | " | 978-0-262-52099-7 | 1985 | " | |
| Situations and attitudes | Hardcover | 978-0-262-02189-0 | 1983 | ||
| Sprache, Beweis und Logik. Band 2. Anwendungen und Metatheorie | Broschiert | 978-3-89785-441-3 | 2006 | Albert Liu · Dave Barker- Plummer · Gerard Allwein · John Etchemendy | |
| Sprache, Beweis und Logik. Band I. Aussagen- und Prädikatenlogik | " | 978-3-89785-440-6 | 2005 | John Etchemendy | |
| Sprache, Beweis und Logik - Software, 1 CD-ROM | CD-ROM | 978-3-89785-442-0 | 2006 | " | |
| Tarski's World: Revised and Expanded | Paperback | 978-1-57586-484-6 | 2007 | John Etchemendy · David Barker-Plummer | |
| The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. | Hardcover | 978-0-444-85345-5 | 1981 | University of Wisconsin--Madison, 1978 Kleene Symposium · Stephen C. Kleene · H. Jerome Keisler · Kenneth Kunen | |
| The Language of First-Order Logic, Including Tarski's World 3.0 | Paperback | 978-0-937073-74-2 | 1992 | John Etchemendy | |
| 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 | ||
| The Situation in Logic | " | 978-0-937073-32-2 | 1989 | ||
| The Situation in Logic | Hardcover | 978-0-937073-33-9 | 1989 | ||
| The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics) | Taschenbuch | 978-3-540-04242-6 | 1968 | ||
| Turing's World 3.0 for the Macintosh: an Introduction to Computability | Hardcover | 978-0-521-52610-4 | 1993 | ||
| Vicious Circles | " | 978-1-57586-009-1 | 1996 | Lawrence S. Moss | |
| Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena | Paperback | 978-1-57586-008-4 | 1996 | " | |
CQ Press · Cambridge University Press · Center for the Study of Language and Inf · De Gruyter · Elsevier Science · Oxford University Press · Springer · The MIT Press · mentis