@article{bwmeta1.element.bwnjournal-article-cmv2i1p236bwm,
author = {J. \L o\'s},
title = {An algebraic proof of completeness for the two-valued propositional calculus},
journal = {Colloquium Mathematicae},
volume = {2},
year = {1951},
pages = {236-240},
zbl = {0045.29504},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-cmv2i1p236bwm}
}
Łoś, J. An algebraic proof of completeness for the two-valued propositional calculus. Colloquium Mathematicae, Tome 2 (1951) pp. 236-240. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-cmv2i1p236bwm/