A survey of mathematical logic (Elsevier Science, 1963)