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

Instytut Matematyczny Polskiej Akademii Nauk / Institute of Mathematics / 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