Title: Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)
Subjects: Forcing (Model theory), Model theory