Heldermann Verlag · Springer · Springer Berlin Heidelberg · Vieweg · Vieweg+Teubner Verlag
| Titel | ISBN-13 | Erschei- nungsjahr | |
|---|---|---|---|
| A Concise Introduction to Mathematical Logic | 978-1-4419-1220-6 | 2009 | |
| A Concise Introduction to Mathematical Logic | 978-0-387-30294-2 | 2006 | |
| Classical Logic. | 978-3-540-17321-2 | 1987 | |
| Einführung in die Mathematische Logik: Ein Lehrbuch | 978-3-8348-0578-2 | 2008 | |
| Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung | 978-3-528-16754-7 | 2008 | |
| Klassische und nichtklassische Aussagenlogik | 978-3-528-08385-4 | 1986 | |
| Messen und Zählen: Eine einfache Konstruktion der reellen Zahlen | 978-3-88538-118-1 | 2007 | |
| Non-Classical Logics : Bd. 2 | 978-3-540-15521-8 | 1987 |