Physica-Verlag Heidelberg · Springer · Springer, Berlin
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Beyond Two: Theory and Applications of Multiple Valued Logic | Gebundene Ausgabe | 978-3-7908-1541-2 | 2003 | Ewa Orlowska | |
| First-Order Logic and Automated Theorem Proving | Hardcover | 978-0-387-94593-4 | 1995 | ||
| First-Order Logic and Automated Theorem Proving | Gebundene Ausgabe | 978-3-540-97233-4 | 1990 | ||
| First-Order Modal Logic | Paperback | 978-0-7923-5335-5 | 1999 | Richard L. Mendelsohn | |