Valpola, Veli. 1955. “Eine Eigenschaft gewöhnlicher Negationsloser Kalküle Der Propositionen- Und Prädikatenlogik”. Mathematica Scandinavica 3 (December): 107-14. https://doi.org/10.7146/math.scand.a-10431.