Mathematical Logic and the foundations of mathematics. An introductory survey. - Kneebone, Geoffrey Thomas (Van Nostrand, 1963)