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

Published 1985

Ω-Bibliography of Mathematical Logic : Model Theory

Published 1987

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

by Ebbinghaus, Heinz-Dieter
Published 1989

Finite Model Theory : Second Edition

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

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

by Zermelo, Ernst
Published 2010

Mathematical Logic

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

Finite Model Theory : First Edition

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

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