A SURVEY OF MATHEMATICAL LOGIC - Hao, W. (North-Holland Publishing Company, 1959)