@article{bwmeta1.element.bwnjournal-article-cmv2i1p291bwm,
author = {H. Greniewski},
title = {Arithmetics of natural numbers as part of the bi-valued propositional calculus},
journal = {Colloquium Mathematicae},
volume = {2},
year = {1951},
pages = {291-297},
zbl = {0045.29503},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-cmv2i1p291bwm}
}
Greniewski, H. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium Mathematicae, Tome 2 (1951) pp. 291-297. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-cmv2i1p291bwm/