Decidability of structural completeness for strongly finite propositional calculi

Bulletin of the Section of Logic, Tom 7, Numer 3 (1978) s. 129-132
Zdzisław Dywan

 

do góry