Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus Ingebrigt Johansson — 1937 Compositio Mathematica