Integrating intuitionistic and classical theories
López-Escobar, E.
Fundamenta Mathematicae, Tome 112 (1981), p. 125-140 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
EUDML-ID : urn:eudml:doc:211247 
@article{bwmeta1.element.bwnjournal-article-fmv112i1p12bwm,
     author = {E. L\'opez-Escobar},
     title = {Integrating intuitionistic and classical theories},
     journal = {Fundamenta Mathematicae},
     volume = {112},
     year = {1981},
     pages = {125-140},
     zbl = {0488.03033},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv112i1p12bwm}
}

López-Escobar, E. Integrating intuitionistic and classical theories. Fundamenta Mathematicae, Tome 112 (1981) pp. 125-140. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv112i1p12bwm/