The boundedness principle in ordinal recursion

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Douglas Cenzer Fundamenta Mathematicae 81 (1974), 203-212 DOI: 10.4064/fm-81-3-203-212