Mathematical logic and the foundations of mathematics ; an introductory survey - Kneebone, Geoffrey T. (London u.a., 1965)