Formal systems and recursive functions. - Crossley J N; Dummett M A E (Amsterdam North-Holland Publishing, 1965)