Analytical Methods in Probability Theory: Proceedings of the Conference Held at Oberwolfach, Germany, June 9–14, 1980 (Lecture Notes in Mathematics, 861) (English and French Edition)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics, 1130)
Seifert Manifolds (Lecture Notes in Mathematics, 291)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Group Theory: Beijing 1984. Proceedings of an International Symposium Held in Beijing, August 27 - September 8, 1984 (Lecture Notes in Mathematics, 1185)
Numerical Treatment of Differential Equations: Proceedings of a Conference, Held at Oberwolfach, July 4-10, 1976 (Lecture Notes in Mathematics, 631) (English and German Edition)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
