Introduction to independence for analysts - Dales H G; Woodin W H (Cambridge C U P, 1987)
Keywords: Mathematical logic; Set theory