On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
Harrop, R.
Mathematische Annalen, Tome 132 (1956), p. 347-361 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1956-01-01
EUDML-ID : urn:eudml:doc:160525 
@article{GDZPPN002285460,
     title = {On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.},
     journal = {Mathematische Annalen},
     volume = {132},
     year = {1956},
     pages = {347-361},
     zbl = {0071.24504},
     url = {http://dml.mathdoc.fr/item/GDZPPN002285460}
}

Harrop, R. On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.. Mathematische Annalen, Tome 132 (1956) pp. 347-361. http://gdmltest.u-ga.fr/item/GDZPPN002285460/