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