TY - BOOK AU - Shelah Saharon TI - Proper forcing SN - 3-540-11593-5 U1 - 511.3 PY - 1982/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic ER -