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