Formal systems and recursive functions ; proceedings / - Crossley, John N.; Dummett, Michael, (North-Holland Pub. Co.,, 1965)