TYTUŁ
Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4
1984 / Tom 13 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On complete bundless of locally valid identitiess. 202 - 206CZYSTY TEKSTBIBTEX
-
Conjunction without conditions in illative combinatory logics. 207 - 213CZYSTY TEKSTBIBTEX
-
Topological duality for Nelson algebras and its applications. 215 - 219CZYSTY TEKSTBIBTEX
-
The sufficient and necessary condition for Tarski's property in Lindenbaum's extensionss. 222 - 224CZYSTY TEKSTBIBTEX
-
An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculuss. 226 - 228CZYSTY TEKSTBIBTEX
-
On isomorphic but not lower-base-isomorphic cylindric set algebrass. 230 - 232CZYSTY TEKSTBIBTEX
-
Proof tableau formulations of some first-order relevant ortho-logicss. 233 - 239CZYSTY TEKSTBIBTEX
-
On the axiomatic systems of syntactically-categorial languagess. 241 - 249CZYSTY TEKSTBIBTEX
-
Slupecki's fragmentary systemss. 252 - 254CZYSTY TEKSTBIBTEX
-
A topology for logical spaces. 255 - 258CZYSTY TEKSTBIBTEX
