Choice principles in constructive and classical set theories (2002)

by Michael Rathjen
Venue:POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002