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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/item/CM_1937__4__119_0/