Mathematical logic and the foundations of mathematics an introductory survey - Kneebone, Geoffrey T. (Dover Publ., 2001)