%0 Journal Article %A VELI VALPOLA %T Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik %J Mathematica Scandinavica %D 1955 %P 107-114 %V 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/MS2_1955__3_165573/ %F MS2_1955__3_165573