Wyniki
-
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic
George Metclafe
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 5-11
George Metclafe
Bulletin of the Section of Logic
, 38
/1-2
(2009)
s. 5-11