A method of axiomatizing an intersection of propositional logics

Bulletin of the Section of Logic, Tom 6, Numer 4 (1977) s. 177-181
Andrzej Wroński

 

do góry