 | 2007 |
| 12 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum,
Wolfgang Thomas:
Einführung in die mathematische Logik (5. Aufl.).
Spektrum Akademischer Verlag 2007: I-IX, 1-339 |
| 11 |  | Heinz-Dieter Ebbinghaus:
Ernst Zermelo - an approach to his life and work.
Springer 2007: I-XIV, 1-356 |
| 2000 |
| 10 |  | Dirk van Dalen,
Heinz-Dieter Ebbinghaus:
Zermelo and the Skolem paradox.
Bulletin of Symbolic Logic 6(2): 145-161 (2000) |
| 1999 |
| 9 |  | Heinz-Dieter Ebbinghaus:
Preface Logic Colloqium '95, Haifa, Israel.
Arch. Math. Log. 38(4-5): 203 (1999) |
| 8 |  | Heinz-Dieter Ebbinghaus:
Is There a Logic for Polynomial Time?
Logic Journal of the IGPL 7(3): 359-374 (1999) |
| 1996 |
| 7 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum,
Wolfgang Thomas:
Einführung in die mathematische Logik (4. Aufl.).
Spektrum Akadem. Verl. 1996: I-X, 1-309 |
| 1995 |
| 6 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum:
Finite model theory.
Springer 1995: I-XV, 1-327 |
| 1994 |
| 5 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum,
Wolfgang Thomas:
Mathematical logic (2. ed.).
Springer 1994: I-X, 1-289 |
| 1992 |
| 4 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum,
Wolfgang Thomas:
Einführung in die mathematische Logik (3. Aufl.).
BI-Wissenschaftsverlag 1992: I-X, 1-338 |
| 1989 |
| 3 |  | Heinz-Dieter Ebbinghaus,
J. Fernandez-Prida,
M. Garrido,
Daniel Lascar,
Mario Rodríguez-Artalejo:
European Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log. 54(2): 647-672 (1989) |
| 1987 |
| 2 |  | Heinz-Dieter Ebbinghaus:
Domino Threads and Complexity.
Computation Theory and Logic 1987: 131-142 |
| 1984 |
| 1 |  | Heinz-Dieter Ebbinghaus,
Jörg Flum,
Wolfgang Thomas:
Mathematical logic.
Springer 1984: I-IX, 1-216 |