%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://www.numdam.org/item/CM_1937__4__119_0/
%G de
%F CM_1937__4__119_0