Mathematical logic and the foundations of mathematics: an introductory survey. - Kneebone G.T. (London D.Van Nostrand Company Ltd., 1963)