TY - JOUR
AU - Johansson, Ingebrigt
TI - Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus
JO - Compositio Mathematica
PY - 1937
DA - 1937///
SP - 119
EP - 136
VL - 4
PB - Johnson Reprint Corporation
UR - http://archive.numdam.org/item/CM_1937__4__119_0/
UR - https://zbmath.org/?q=an%3A0015.24102
LA - de
ID - CM_1937__4__119_0
ER -
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/