Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik

DOI10.7146/MATH.SCAND.A-10431zbMath0065.00102OpenAlexW1501078866MaRDI QIDQ5848888

Veli Valpola

Publication date: 1955

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/165573

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik