George Metclafe
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 5 - 11ROK: 2009CZYSTY TEKSTBIBTEX
