Title: Proper forcing
First published: 1982
Subjects: Forcing (Model theory), Axiomatic set theory, Mathematics, Symbolic and mathematical Logic