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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call