Survey of mathematical logic - Hao, Wang (1962)