%0 Journal Article %1 journals/aml/CoquandP00 %A Coquand, Thierry %A Palmgren, Erik %D 2000 %J Arch. Math. Log. %K dblp %N 1 %P 53-74 %T Intuitionistic choice and classical logic. %U http://dblp.uni-trier.de/db/journals/aml/aml39.html#CoquandP00 %V 39

@article{journals/aml/CoquandP00, added-at = {2008-07-15T00:00:00.000+0200}, author = {Coquand, Thierry and Palmgren, Erik}, biburl = {https://www.bibsonomy.org/bibtex/22069fb264cb26c3e1ef40af3661e0262/dblp}, date = {2008-07-15}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s001530050003}, interhash = {e2ba0886bd5a0e67d103ef834a385eee}, intrahash = {2069fb264cb26c3e1ef40af3661e0262}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 1, pages = {53-74}, timestamp = {2008-07-16T12:00:03.000+0200}, title = {Intuitionistic choice and classical logic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml39.html#CoquandP00}, volume = 39, year = 2000 }