Kohlenbach U. On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. BRICS [Internet]. 23. januar 1997 [henvist 5. december 2025];4(23). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18949