1 - An introduction to independence for analystsDales, Harold Garth (1944-....) / Woodin, W. H.Cote : [08 DAL 87]
2 - Simplified independence proofs : Boolean valued models of set theoryRosser, John Barkley (1907-1989)Cote : [05 ROS 69]