Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 (Lecture Notes in Mathematics, 1432)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Orders and their Applications: Proceedings of a Conference held in Oberwolfach, West Germany, June 3-9, 1984 (Lecture Notes in Mathematics, 1142)
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics, 669)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)
Recursion on the Countable Functionals (Lecture Notes in Mathematics, 811)
Arbeitstagung Bonn 1984 Proceedings of the Meeting held by the Max-Planck-Institut für Mathematik, Bonn, June 15-22, 1984
Computations in Higher Types (Lecture Notes in Mathematics, 574)
