Wyniki
-
The sequent Gentzen system for m-valued logic
Zygmunt Saloni
Bulletin of the Section of Logic , 2 /1 (1973) s. 30-35
Zygmunt Saloni
Bulletin of the Section of Logic
, 2
/1
(1973)
s. 30-35