Tableaux variants of some modal and relevant systems

Bulletin of the Section of Logic, Tom 17, Numer 3-4 (1988) s. 92-103
P. Bystrov

 

do góry