1 - Formal systems and recursive functions : proceedings of the eighth logic colloquium Oxford, July 1963Crossley, John Newsome (1937-....) (Ed.) / Dummett, Michael Anthony Eardley (1925-2011) (Ed.)Cote : [05 CRO 65]
