Wyniki
-
Tableaux variants of some modal and relevant systems
P. Bystrov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 92-103
P. Bystrov
Bulletin of the Section of Logic
, 17
/3-4
(1988)
s. 92-103