Heinz-Dieter Ebbinghaus

Spektrum Akademischer Verlag, 2007

Ernst Zermelo - an approach to his life and work.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-540-49551-2, 2007

2000

Zermelo and the Skolem paradox.

[BibT_eX]

[DOI]

Dirk van Dalen

Bull. Symb. Log., 2000

1999

Is There a Logic for Polynomial Time?

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

<i>Preface</i> Logic Colloqium '95, Haifa, Israel.

[BibT_eX]

[DOI]

Arch. Math. Log., 1999

1996

Einführung in die mathematische Logik (4. Aufl.).

[BibT_eX]

Hochschultaschenbuch, Spektrum Akadem. Verl., ISBN: 978-3-8274-0130-4, 1996

1995

Finite model theory.

[BibT_eX]

Perspectives in Mathematical Logic, Springer, ISBN: 978-3-540-60149-4, 1995

1994

Mathematical logic (2. ed.).

[BibT_eX]

Undergraduate texts in mathematics, Springer, ISBN: 978-3-540-94258-0, 1994

1992

Einführung in die mathematische Logik (3. Aufl.).

[BibT_eX]

BI-Wissenschaftsverlag, ISBN: 978-3-411-15603-0, 1992

1989

European Summer Meeting of the Association for Symbolic Logic.

[BibT_eX]

[DOI]

José Fernández-Prida

Manuel Garrido

Daniel Lascar

Mario Rodríguez-Artalejo

J. Symb. Log., 1989

1987

Domino Threads and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1984

Mathematical logic.

[BibT_eX]

Undergraduate texts in mathematics, Springer, ISBN: 978-0-387-90895-3, 1984

1982

Undecidability Of Some Domino Connectability Problems.

[BibT_eX]

[DOI]

Math. Log. Q., 1982

1980

Interpolation in Logiken monotoner Systeme.

[BibT_eX]

[DOI]