Extensionality versus constructivity (2000)

Cached

Download Links

by Silvio Valentini
Venue:Mathematical logic Quarterly
Citations:3 - 0 self