A note on some property of purely implicational propositional calculi

Bulletin of the Section of Logic, Tom 19, Numer 2 (1990) s. 49-50
Tadeusz Prucnal

 

do góry