Interpolation in Logiken monotoner Systeme. - Heinz-Dieter Ebbinghaus; Martin Ziegler 002 (Arch. Math. Log., 1980)

Undecidability Of Some Domino Connectability Problems. - Heinz-Dieter Ebbinghaus (Math. Log. Q., 1982)

Mathematical logic. - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Springer, 1984)

Domino Threads and Complexity. - Heinz-Dieter Ebbinghaus (Computation Theory and Logic, 1987)

European Summer Meeting of the Association for Symbolic Logic. - Heinz-Dieter Ebbinghaus; José Fernández-Prida; Manuel Garrido; Daniel Lascar; Mario Rodríguez-Artalejo (J. Symb. Log., 1989)

Einführung in die mathematische Logik (3. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (BI-Wissenschaftsverlag, 1992)

Mathematical logic (2. ed.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Springer, 1994)

Finite model theory. - Heinz-Dieter Ebbinghaus; Jörg Flum (Springer, 1995)

Einführung in die mathematische Logik (4. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Spektrum Akadem. Verl., 1996)

Preface Logic Colloqium '95, Haifa, Israel. - Heinz-Dieter Ebbinghaus (Arch. Math. Log., 1999)

Is There a Logic for Polynomial Time? - Heinz-Dieter Ebbinghaus (Log. J. IGPL, 1999)

Zermelo and the Skolem paradox. - Dirk van Dalen; Heinz-Dieter Ebbinghaus (Bull. Symb. Log., 2000)

Ernst Zermelo - an approach to his life and work. - Heinz-Dieter Ebbinghaus (Springer, 2007)

Einführung in die mathematische Logik (5. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Spektrum Akademischer Verlag, 2007)