A survey of mathematical logic - Wang, Hao (Science Pr., 1963)