Formal systems and recursive functions - Crossley J N; Dummett M A E (Amsterdam North-Holland, 1965)
Keywords: Formal system; Mathematical logic