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