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.
@article{BlankertzW99,
title = {A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems},
author = {Benjamin Blankertz and Andreas Weiermann},
year = {1999},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/BlankertzW99},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {62},
number = {3},
pages = {399-427},
}