1 - Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II
Richter, Michael M. (1938-....) (Ed.)   /   Börger, Egon (1946-....) (Ed.)   /   Oberschelp, Walter (1933-....) (Ed.)   /   Schinzel, B. (Ed.)   /   Thomas, Wolfgang (1947-....) (Ed.)

Cote : [05 RIC 84-2]

2 - 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]