TYTUŁ
Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3
2002 / Tom 31 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive Systems. 125 - 134CZYSTY TEKSTBIBTEX
-
On Generalizations of Consequence Operations. 135 - 143CZYSTY TEKSTBIBTEX
-
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebrass. 145 - 157CZYSTY TEKSTBIBTEX
-
Resolution Based Natural Deductions. 159 - 170CZYSTY TEKSTBIBTEX
-
T-R, TE-R, TEc-Rs. 171 - 181CZYSTY TEKSTBIBTEX
