On the Necessary Use of Abstract Set Theory (1981)

by H Friedman
Venue:Advances in Math