TYTUŁ
Bulletin of the Section of Logic
1992 / Tom 21 / Numer 3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Lattices of implicational logicss. 82 - 91CZYSTY TEKSTBIBTEX
-
A note on the extension for relatively congruence-distributive quasivarietiess. 92 - 96CZYSTY TEKSTBIBTEX
-
On two relatives of the classical logics. 97 - 102CZYSTY TEKSTBIBTEX
-
Complexity of equational theory of relational algebras with projection elementss. 103 - 111CZYSTY TEKSTBIBTEX
-
On compatibility of theories and equivalent translationss. 112 - 119CZYSTY TEKSTBIBTEX