TYTUŁ
Bulletin of the Section of Logic 1986 / Tom 15 / Numer 3
1986 / Tom 15 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Decidability in Pratt's process logics. 88 - 95CZYSTY TEKSTBIBTEX
-
Gentzen semantics for de Morgan lattice logics. 96 - 102CZYSTY TEKSTBIBTEX
-
A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numberss. 102 - 106CZYSTY TEKSTBIBTEX
-
The bibinary semantics for R and Lωs. 109 - 114CZYSTY TEKSTBIBTEX
-
On the operations definable in terms of the complementation and the closures. 117 - 121CZYSTY TEKSTBIBTEX
-
Lower level connections between representations of relation algebras : abstracts. 123 - 125CZYSTY TEKSTBIBTEX
