Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / ed. by J. N. Crossley and M. A. E. Dummett
mainEntity
Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / ed. by J. N. Crossley and M. A. E. Dummett
about
contributor
inLanguage
mainEntityOfPage
name
Formal systems and recursive f ...... colloquium, Oxford, July 1963
numberOfPages
publication
sameAs
label
Formal systems and recursive f ...... Crossley and M. A. E. Dummett