Mathematical logic and the foundations of mathematics An introductory survey - Kneebone, Geoffrey T. (van Nostrand, 1965)