Kohlenbach U. Intuitionistic Choice and Restricted Classical Logic. BRICS [Internet]. 2000 Jan. 12 [cited 2024 Apr. 25];7(12). Available from: https://tidsskrift.dk/brics/article/view/20139