TYTUŁ
Bulletin of the Section of Logic
2018 / Tom 47 / Numer 1
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Int-Soft Ideals of Pseudo MV-Algebrass. 1 - 14CZYSTY TEKSTBIBTEX
-
A Useful Four-Valued Extension of the Temporal Logic KtT4s. 15 - 32CZYSTY TEKSTBIBTEX
-
PC-lattices: A Class of Bounded BCK-algebrass. 33 - 44CZYSTY TEKSTBIBTEX
-
Algebraic Characterization of the Local Craig Interpolation Propertys. 45 - 58CZYSTY TEKSTBIBTEX
-
Applications of Algebra in Logic and Computer Science – the Past and the Futures. 59 - 67CZYSTY TEKSTBIBTEX
-
Submission Informations. 68CZYSTY TEKSTBIBTEX