Mathematical logic and the foundations of mathematics: An introductory survey - Kneebone, G T (1963)