The degree of completeness of some fragments of the intuitionistic propositional logic

Bulletin of the Section of Logic, Tom 2, Numer 2 (1973) s. 149-153
Andrzej Wroński

 

do góry