TY  - JOUR
AU  - R. Harrop
TI  - On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
JO  - Mathematische Annalen
PY  - 1956
SP  - 347
EP  - 361
VL  - 132
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1956__132_160525/
ID  - MAN_1956__132_160525
ER  -