| Titel | ISBN-13 | Erscheinungsjahr |
|---|---|---|
| Einführung in die mathematische Logik I. Aussagenkalkül | 978-3-322-00717-9 | 1996 |
| Einführung in die mathematische Logik: Teil 1: Aussagenkalkül | 978-3-87144-626-9 | 1982 |
| Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe | 978-3-322-00718-6 | 1975 |
| Einführung in die mathematische Logik: Teil lll: Prädikatenlogik höherer Stufe | 978-3-322-00719-3 | 1981 |
| Prädikatenkalkül der ersten Stufe | 978-3-87144-011-3 | 1976 |