Tableau System for Logic of Categorial Propositions and Decidability

Bulletin of the Section of Logic, Tom 37, Numer 3-4 (2008) s. 223-231
Tomasz Jarmuzek

 

do góry