An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensions

Bulletin of the Section of Logic, Tom 1, Numer 1 (1972) s. 53-62
Stanisław J. Surma