TYTUŁ
Bulletin of the Section of Logic
2018 / Tom 47 / Numer 4
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Labeled Sequent Calculus for Orthologics. 217 - 232CZYSTY TEKSTBIBTEX
-
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theoriess. 233 - 263CZYSTY TEKSTBIBTEX
-
Rule-Generation Theorem and Its Applicationss. 265 - 281CZYSTY TEKSTBIBTEX
-
On Injective MV-Moduless. 283 - 298CZYSTY TEKSTBIBTEX