Cambridge University Press · Center for the Study of Language and Inf · Elsevier Science · Mentis-Verlag · Oxford University Press · Springer, Berlin
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Admissible Sets and Structures. An Approach to Definability Theory | Gebundene Ausgabe | 978-3-540-07451-9 | 1976 | ||
| Information Flow: The Logic of Distributed Systems | Paperback | 978-0-521-07099-7 | 2008 | Jerry Seligman | |
| Information Flow: The Logic of Distributed Systems | Hardcover | 978-0-521-58386-2 | 1997 | " | |
| Language, Proof and Logic | Paperback | 978-1-57586-374-0 | 2002 | John Etchemendy | |
| Situations and Attitudes | " | 978-1-57586-193-7 | 1998 | John Perry | |
| Sprache, Beweis und Logik, 1 CD-ROM | CD-ROM | 978-3-89785-442-0 | 2006 | John Etchemendy | |
| 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 | |
| Tarski's World: Revised and Expanded | Paperback | 978-1-57586-484-6 | 2007 | David Barker-Plummer · John Etchemendy | |
| 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 | Stephen C. Kleene · H. Jerome Keisler · Kenneth Kunen | |
| The Language of First-Order Logic: Including the Macintosh Program "Tarski's World" | Paperback | 978-0-937073-74-2 | 1992 | John Etchemendy | |
| The Liar: An Essay on Truth and Circularity | " | 978-0-19-505944-1 | 1989 | " | |
| The Situation in Logic | " | 978-0-937073-32-2 | 1989 | ||
| Vicious Circles | " | 978-1-57586-008-4 | 2004 | Lawrence S. Moss | |