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