On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness (1997)

Cached

Download Links

by Ulrich Kohlenbach
Venue:PURE AND APPLIED LOGIC
Citations:9 - 4 self