Benjamin Blankertz, Andreas Weiermann. A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. Studia Logica, 62(3):399-427, 1999.
No references recorded for this publication.
No citations of this publication recorded.