Formal systems and recursive functions. - Crossley, J. N. (North-Holland, 1965)