2000: ‘Cumulative Higher-Order Logic as a Foundation for Set Theory (0)

by Wolfgang Degen, Jan Johannsen
Venue:Mathematical Logic Quarterly