Open Access
Fall 1974 A formal number-termed system based on recursion
Trevor J. McMinn
Rocky Mountain J. Math. 4(4): 649-672 (Fall 1974). DOI: 10.1216/RMJ-1974-4-4-649
First Page PDF

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

Vol.4 • No. 4 • Fall 1974
Back to Top