On the EK-fragments of positive and classical propositional calculus

Bulletin of the Section of Logic, Tom 10, Numer 3 (1981) s. 100-103
Janis Cirulis

 

do góry