Higher set theory and mathematical practice (0)

by H Friedman
Venue:Annals of Mathematical Logic