Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik VELI VALPOLA — 1955 Mathematica Scandinavica