Geodesic
On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
Mathematische Annalen, Tome 132 (1956), pp. 347-361.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : foundations, philosophy, logic 
@article{MAN_1956__132_160525,
     author = {R. Harrop},
     title = {On {Disjunctions} and {Existential} {Statements} in {Intuitionistic} {Systems} of {Logic.}},
     journal = {Mathematische Annalen},
     pages = {347--361},
     publisher = {mathdoc},
     volume = {132},
     year = {1956},
     zbl = {0071.24504},
     url = {http://geodesic.mathdoc.fr/item/MAN_1956__132_160525/}
}
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  - 
%0 Journal Article
%A R. Harrop
%T On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
%J Mathematische Annalen
%D 1956
%P 347-361
%V 132
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1956__132_160525/
%F MAN_1956__132_160525
R. Harrop. On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.. Mathematische Annalen, Tome 132 (1956), pp. 347-361. http://geodesic.mathdoc.fr/item/MAN_1956__132_160525/