TYTUŁ
Bulletin of the Section of Logic
1997 / Tom 26 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Equational reasoning in non-classical logicss. 2 - 11CZYSTY TEKSTBIBTEX
-
Representation theorems for hypergraph satisfiabilitys. 12 - 19CZYSTY TEKSTBIBTEX
-
Is fork set-theoretical?s. 20 - 30CZYSTY TEKSTBIBTEX
-
Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functionss. 31 - 38CZYSTY TEKSTBIBTEX
-
A class of modal logics with a finite model property with respect to the set of M-formulaes. 39 - 49CZYSTY TEKSTBIBTEX
-
On negatively restricting Boolean algebrass. 50 - 54CZYSTY TEKSTBIBTEX
