FORMAL SYSTEMS AND RECURSIVE FUNCTIONS proceedings - Logic Colloquium Oxford July 1963; Dummett, M.A.E.[ed.] Crossley, J.N.[ed.] (North-Holland Amsterdam, 1965)
Keywords: Logic, Philosophy; Recursive Functions