164 KNEEBONE, G. T MATHEMATICAL LOGIC AND THE FOUNDAMENTALS OF MATHEMATICS ; AN INTRODUCTORY SURVEY / / G. T. KNEEBONE. - LONDON: : D. VAN NORTRAND,, 1963. xiv,435 P. * MATHEMATICAL LOGIC.