Kohlenbach, U. Intuitionistic Choice and Restricted Classical Logic. BRICS 2000, 7.