Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus

Bulletin of the Section of Logic, Tom 5, Numer 1 (1976) s. 25-28
Jerzy Czajsner