The boundedness principle in ordinal recursion

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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