2001), Intuitionistic choice and restricted classical logic

by Ulrich Kohlenbach
Venue:Mathematical Logic Quarterly
Citations:7 - 1 self