Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Logic Year 1979-80: The University of Connecticut, USA (Lecture Notes in Mathematics, 859)
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)
Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Models of ZF-Set Theory
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Model Theoretic Algebra: Selected Topics (Lecture Notes in Mathematics, 521)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems
