Open Access
November 1958 Recursive equivalence types and combinatorial functions
J. Myhill
Bull. Amer. Math. Soc. 64(6): 373-376 (November 1958).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.64 • No. 6 • November 1958
Back to Top