Wyniki
-
The Gentzen type axiomatization of some three-valued propositional logic
Andrzej Zbrzezny
Bulletin of the Section of Logic , 17 /2 (1988) s. 70-74
Andrzej Zbrzezny
Bulletin of the Section of Logic
, 17
/2
(1988)
s. 70-74