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 december 5, 2025. https://tidsskrift.dk/brics/article/view/18949.