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

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

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