Degrees of Unsolvability: Structure and Theory (Lecture Notes in Mathematics, 759)
Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)
Model Theoretic Algebra: Selected Topics (Lecture Notes in Mathematics, 521)
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets (Lecture Notes in Mathematics, 1103)
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)
Measure Theory Oberwolfach 1979: Proceedings of the Conference Held at Oberwolfach, Germany, July 1-7, 1979 (Lecture Notes in Mathematics, 794)
Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Set Theory of the Continuum (Mathematical Sciences Research Institute Publications)