1 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

2 - Decidalbes theories. II : the monadic second order theory of all countable ordinals
Büchi, J. Richard (1924-1984)   /   Siefkes, Dirk (Ed.)   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 BUC 73]

3 - Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
Müller, Gert Heinz (1923-....) (Ed.)   /   Scott, Dana S. (Ed.)

Cote : [08 MUL 78]

4 - ISILC - Logic conference : proceedings of the international Summer Institute of Logic Colloquium, Kiel 1974
Müller, Gert Heinz (1923-....) (Ed.)   /   Oberschelp, A. (Ed.)   /   Potthoff, K.(Ed.)

Cote : [05 MUL 75]

5 - Logic symposia Hakone 1979, 1980 : proceedings of conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7,1980
Müller, Gert Heinz (1923-....) (Ed.)   /   Tugué, Tosiyuki (1926-....) (Ed.)   /   Takeuti, Gaisi T. (1926-....) (Ed.)

Cote : [05 MUL 81]

6 - Models and sets : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part I
Müller, Gert Heinz (1923-....) (Ed.)   /   Richter, Michael M. (1938-....) (Ed.)

Cote : [05 MUL 84-1]