TYTUŁ
Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3
1997 / Tom 26 / Numer 3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lωs. 112 - 117CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX
-
CZYSTY TEKSTBIBTEX