Ulrich Kohlenbach. On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. Annals of Pure and Applied Logic, 95(1-3):257-285, 1998.
@article{Kohlenbach98:0, title = {On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness}, author = {Ulrich Kohlenbach}, year = {1998}, researchr = {https://researchr.org/publication/Kohlenbach98%3A0}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {95}, number = {1-3}, pages = {257-285}, }