Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 - Crossley, John N.; Dummett, Michael, 1925-2011 (North-Holland, 1965)