1. Boolean Representation through Propositional Calculus;Henkin;Fundamenta Mathematicae,1954
2. Logical Systems Containing only a Finite Number of Symbols;Henkin,1967
3. Relativization with respect to formulas and its use in proofs of independence;Henkin;Compositio Mathematica,1968
4. Cylindricalgebras, part I;Henkin,1971
5. Leblanc, 1972, Semantic deviations, this volume, pp. 1–16