Valpola, Veli. “Eine Eigenschaft gewöhnlicher Negationsloser Kalküle Der Propositionen- Und Prädikatenlogik”. MATHEMATICA SCANDINAVICA 3 (December 1, 1955): 107–114. Accessed March 9, 2025. https://www.mscand.dk/article/view/10431.