TYTUŁ
Bulletin of the Section of Logic 1981 / Tom 10 / Numer 1
1981 / Tom 10 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Critical varieties of bi-closure algebrass. 2 - 8CZYSTY TEKSTBIBTEX
-
Interpolation properties for a class of many-valued propositional calculis. 9 - 16CZYSTY TEKSTBIBTEX
-
The Boolean algebra of objectivess. 17 - 23CZYSTY TEKSTBIBTEX
-
Kripke-style semantics for Jaskowski's system Qfs. 24 - 29CZYSTY TEKSTBIBTEX
-
On the theory of labels-tokenss. 30 - 34CZYSTY TEKSTBIBTEX
-
Proofs of regular identitiess. 35 - 37CZYSTY TEKSTBIBTEX
-
Notes on decidability and finite approximability of sentential logicss. 38 - 41CZYSTY TEKSTBIBTEX
-
Lindenbaum's extensionss. 42 - 47CZYSTY TEKSTBIBTEX
-
Ideals in BCK-algebras which are lower semilatticess. 48 - 55CZYSTY TEKSTBIBTEX
