Abstract
Ulrich Kohlenbach. On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Annals of pure and applied logic, vol. 95 (1998), pp. 257–285.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have