Springer · Springer, Berlin · Vieweg
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | |
|---|---|---|---|
| A Concise Introduction to Mathematical Logic | 978-0-387-30294-2 (0-387-30294-8) | 2006 | |
| Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung | 978-3-528-16754-7 (3-528-16754-8) | 2008 | |
| Non-Classical Logics : Bd. 2 | 978-3-540-15521-8 (3-540-15521-X) | 1987 |