Mathematical logic in the 20th century (Singapore Univ. Press, 2003)