Finite Model Theory : First Edition

by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995

Ω-Bibliography of Mathematical Logic : Model Theory

Published 1987

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Published 1985

Numbers

by Ebbinghaus, Heinz-Dieter, Hermes, Hans, Hirzebruch, Friedrich, Koecher, Max
Published 1991

Ernst Zermelo - Collected Works/Gesammelte Werke : Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia

by Zermelo, Ernst
Published 2010

Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Phy...

by Zermelo, Ernst
Published 2013

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

by Ebbinghaus, Heinz-Dieter
Published 1985

Finite Model Theory : Second Edition

by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995

Ernst Zermelo : An Approach to His Life and Work

by Ebbinghaus, Heinz-Dieter
Published 2007

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

by Ebbinghaus, Heinz-Dieter
Published 1989

Mathematical Logic

by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021