TY - BOOK AU - Dales H G AU - Woodin W H TI - Introduction to independence for analysts SN - 0-521-33996-0 U1 - 511.322 PY - 1987/// CY - Cambridge PB - C U P KW - Mathematical logic KW - Set theory ER -