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.