A characterization of the intuitionistic propositional logic

Bulletin of the Section of Logic, Tom 3, Numer 2 (1974) s. 19-20
Małgorzata Porębska, Andrzej Wroński

 

do góry