Arithmetics of natural numbers as part of the bi-valued propositional calculus H. Greniewski — 1951 Colloquium Mathematicae