Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik Authors Veli Valpola DOI: https://doi.org/10.7146/math.scand.a-10431 Downloads PDF Published 1955-12-01 Issue Vol. 3 (1955) Section Articles
