Infinitary combinatorics and the axiom of determinateness.- I.- II.- III.- IV.- V.- VI.- VII.
The Axiom of Constructibility: A Guide for the Mathematician (Lecture Notes in Mathematics, Vol. 617) (Lecture Notes in Mathematics, 617)
The Souslin Problem (Lecture Notes in Mathematics, 405)
Combinatorial Set Theory With a Gentle Introduction to Forcing
Techniques of Admissible Recursion Theory (Lecture Notes in Mathematics, 1106)
Set Theory Exploring Independence and Truth
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics, 669)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Set Theory and Hierarchy Theory V: Bierutowice, Poland 1976 (Lecture Notes in Mathematics, 619) (English and French Edition)
Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85
Proper Forcing (Lecture Notes in Mathematics)