Formal systems and recursive functions (North-Holland, 1965)
Includes bibliographical references