Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1955__3_165573, author = {VELI VALPOLA}, title = {Eine {Eigenschaft} gew\"ohnlicher negationsloser {Kalk\"ule} der {Propositionen-} und {Pr\"adikatenlogik}}, journal = {Mathematica Scandinavica}, pages = {107--114}, publisher = {mathdoc}, volume = {3}, year = {1955}, zbl = {0065.00102}, url = {http://geodesic.mathdoc.fr/item/MS2_1955__3_165573/} }
VELI VALPOLA. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, Tome 3 (1955), pp. 107-114. http://geodesic.mathdoc.fr/item/MS2_1955__3_165573/