A survey of mathematical logic / by Hao Wang. - Wang, Hao, 1921- (Studies in logic and the foundations of mathematics, 1963)