VALPOLA, V. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. MATHEMATICA SCANDINAVICA, [S. l.], v. 3, p. 107–114, 1955. DOI: 10.7146/math.scand.a-10431. Disponível em: https://www.mscand.dk/article/view/10431. Acesso em: 6 may. 2024.