Extensionality versus constructivity (2000)

by Silvio Valentini
Venue:Mathematical logic Quarterly