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

More information

Created

10/10/2017