Intuitionistic choice and classical logic
Preprint, 1997
Författare
Thierry Coquand
Erik Palmgren
Ämneskategorier
Algebra och logik
Department of Mathematics, Chalmers University of Technology and Göteborg University