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://www.numdam.org/item/CM_1937__4__119_0/
LA  - de
ID  - CM_1937__4__119_0
ER  -