Kohlenbach, Ulrich. “On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness”. BRICS Report Series 4, no. 23 (januar 23, 1997). Set september 26, 2024. https://tidsskrift.dk/brics/article/view/18949.