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 - 112009CZYSTY TEKST
George Metclafe, A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 5 - 11
BIBTEX@Article{ authors = " George Metclafe", title = "A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "5 - 11" }