A Henkin-style completeness proof for the pure implicational calculus
scientific article; zbMATH DE number 3477114