Wyniki
-
Tableau System for Logic of Categorial Propositions and Decidability
Tomasz Jarmuzek
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 223-231
Tomasz Jarmuzek
Bulletin of the Section of Logic
, 37
/3-4
(2008)
s. 223-231