Roma J. Adillon
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Gentzen system equivalent to the BCK-logic Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 73 - 80ROK: 1996CZYSTY TEKSTBIBTEX
-
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3 / s. 125 - 134ROK: 2002CZYSTY TEKSTBIBTEX
