TYTUŁ
Bulletin of the Section of Logic
1977 / Tom 6 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
The criterion of Brouwerian and closure algebras to be finitely generateds. 46 - 52CZYSTY TEKSTBIBTEX
-
New axioms for Boolean geometrys. 53 - 63CZYSTY TEKSTBIBTEX
-
On distributivity of closure systemss. 64 - 66CZYSTY TEKSTBIBTEX
-
Deduction theorems for RM and its extensionss. 67 - 69CZYSTY TEKSTBIBTEX
-
A completeness proof for an infinitary tense logics. 70 - 73CZYSTY TEKSTBIBTEX
-
Degrees of maximality of Lukasiewicz-like sentential calculis. 74 - 81CZYSTY TEKSTBIBTEX
-
Remarks on Mn-counterparts of some normal calculis. 82 - 95CZYSTY TEKSTBIBTEX
