Geodesic
Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
Compositio Mathematica, Tome 4 (1937), pp. 119-136

Voir la notice de l'article provenant de la source Numdam

@article{CM_1937__4__119_0,
     author = {Johansson, Ingebrigt},
     title = {Der {Minimalkalk\"ul,} ein reduzierter intuitionistischer {Formalismus}},
     journal = {Compositio Mathematica},
     pages = {119--136},
     publisher = {Johnson Reprint Corporation},
     volume = {4},
     year = {1937},
     zbl = {0015.24102},
     language = {de},
     url = {http://geodesic.mathdoc.fr/item/CM_1937__4__119_0/}
}
TY  - JOUR
AU  - Johansson, Ingebrigt
TI  - Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
JO  - Compositio Mathematica
PY  - 1937
SP  - 119
EP  - 136
VL  - 4
PB  - Johnson Reprint Corporation
UR  - http://geodesic.mathdoc.fr/item/CM_1937__4__119_0/
LA  - de
ID  - CM_1937__4__119_0
ER  - 
%0 Journal Article
%A Johansson, Ingebrigt
%T Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
%J Compositio Mathematica
%D 1937
%P 119-136
%V 4
%I Johnson Reprint Corporation
%U http://geodesic.mathdoc.fr/item/CM_1937__4__119_0/
%G de
%F CM_1937__4__119_0
Johansson, Ingebrigt. Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica, Tome 4 (1937), pp. 119-136. http://geodesic.mathdoc.fr/item/CM_1937__4__119_0/