Remarks on Henkin's paper: Boolean representation trough, propositional calculus
Volume 44 / 1957
Fundamenta Mathematicae 44 (1957), 82-83
DOI: 10.4064/fm-44-1-82-83