MATHEMATICAL LOGIC by STEPHEN COLE KLEENE , 1968