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

### View PDF

### Download Links

by
Ulrich Kohlenbach

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

Citations: | 15 - 6 self |