Foundational and mathematical uses of higher types (1999)

by Ulrich Kohlenbach
Venue:REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN
Citations:11 - 4 self