Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus

Johansson, Ingebrigt

Compositio Mathematica, Volume 4 (1937) p. 119-136