TYTUŁ
Bulletin of the Section of Logic
1976 / Tom 5 / Numer 3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
ENE-logicss. 84 - 86CZYSTY TEKSTBIBTEX
-
On provability measures for deductive systems Is. 87 - 93CZYSTY TEKSTBIBTEX
-
An improvement of the deontic calculus DSCs. 97 - 100CZYSTY TEKSTBIBTEX
-
Some properties of the hierarchy of modal logicss. 103 - 104CZYSTY TEKSTBIBTEX
-
On finitely based consequence operationss. 106 - 111CZYSTY TEKSTBIBTEX
-
The number of quasivarietes of distributive lattices with pseudocomplementations. 115 - 119CZYSTY TEKSTBIBTEX