2001), Intuitionistic choice and restricted classical logic (0)

by U Kohlenbach
Venue:Mathematical Logic Quarterly