Wyniki
-
A classification of inconsistent theories
Ivan Kramosil
Bulletin of the Section of Logic , 6 /1 (1977) s. 35-45 -
Evaluation of propositional formulas from the viewpoint of computational complexity
Ivan Kramosil
Bulletin of the Section of Logic , 17 /2 (1988) s. 62-66