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