Functions provably total in $I^{-}Σ_{n}$

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

Z. Ratajczyk Fundamenta Mathematicae 133 (1989), 81-95 DOI: 10.4064/fm-133-1-81-95