| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Beyond Two: Theory and Applications of Multiple-Valued Logic | Gebunden | | 978-3-7908-1541-2 | 2003 | Ewa Orlowska |
| Computability Theory: Semantics and Logic Programming | Hardcover | | 978-0-19-503691-6 | 1987 |
| First-Order Logic and Automated Theorem Proving | Paperback | | 978-1-4612-7515-2 | 2013 |
| First-Order Logic and Automated Theorem Proving | Hardcover | | 978-0-387-94593-4 | 1995 |
| First-Order Logic and Automated Theorem Proving | " | | 978-0-387-97233-6 | 1990 |
| First-order Logic and Automated Theorem Proving | Gebunden | | 978-3-540-97233-4 | 1990 |
| First-Order Modal Logic | Paperback | | 978-0-7923-5335-5 | 1999 | Richard L. Mendelsohn |
| Intuitionistic logic, model theory and forcing | " | | 978-0-7204-2256-6 | 1969 |
| Justification Logic: Reasoning with Reasons | Hardcover | | 978-1-108-42491-2 | 2019 | Sergei Artemov |
| Raymond Smullyan on Self Reference | Taschenbuch | | 978-3-319-88647-3 | 2019 | Brian Rayman |
| Raymond Smullyan on Self Reference | Gebunden | | 978-3-319-68731-5 | 2018 | " |
| Set Theory and the Continuum Problem | Paperback | | 978-0-486-47484-7 | 2010 | Raymond M. Smullyan |