Intuitionistic choice and classical logic
Preprint, 1997
Author
Thierry Coquand
Erik Palmgren
Subject Categories
Algebra and Logic
Department of Mathematics, Chalmers University of Technology and Göteborg University