An algebraic proof of completeness for the two-valued propositional calculus
Volume 2 / 1951
Colloquium Mathematicum 2 (1951), 236-240
DOI: 10.4064/cm-2-3-4-236-240
