1. Untersuchungen über das logische Schliessen;Gentzen;Mathematische Zeitschrift,1935
2. Une extension du système de fonctionelles recursives de Gödel et son application aux fondements de l'analyse;Girard,1971
3. Über eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes;Gödel;Dialectica,1958
4. A normalform in first order arithmetic;Jervell,1971
5. Der Minimalkalkül, ein reduzierter intuitionistisches Formalismus;Johansson;Compositio Mathematica,1936