1. Einführung in die Operative Logik und Mathematik;Lorenzen,1955
2. Untersuchungen über das Logische Schliessen;Gentzen;Math. Z.,1935
3. Der minimalkalkul, ein reduzierter intuitionistischer formalismus;Johansson;Compos. Math.,1936
4. Free lattices;Whitman;Ann. Math.,1941
5. Proof Theory for Fuzzy Logics;Metcalfe,2008