6 books • 9 series
Book #940: Proper Forcing
Book #1182: Around Classification Theory of Models
Book #29: Cardinal Arithmetic