Arithmetics of natural numbers as part of the bi-valued propositional calculus

Wydawnictwa / Czasopisma IMPAN / Colloquium Mathematicum / Wszystkie zeszyty

H. Greniewski Colloquium Mathematicum 2 (1951), 291-297 DOI: 10.4064/cm-2-3-4-291-297