Boolean representation trough propositional calculus
Tom 41 / 1955
Fundamenta Mathematicae 41 (1955), 89-96
DOI: 10.4064/fm-41-1-89-96
