## Foundational and mathematical uses of higher types (1999)

### Cached

### Download Links

by
Ulrich Kohlenbach

Venue: | REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN |

Citations: | 13 - 5 self |