Mathematical logic in the 20th century - Sacks, Gerald E. (University Press, 2003)