TYTUŁ
Bulletin of the Section of Logic
1994 / Tom 23 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Decision problems for equational theories of relation algebrass. 47 - 52CZYSTY TEKSTBIBTEX
-
Stoic ``Undemonstrables'' and indirect-deduction theoremss. 53 - 60CZYSTY TEKSTBIBTEX
-
Classical versions of BCI, BCK and BCIW logicss. 61 - 65CZYSTY TEKSTBIBTEX
-
On finitizing first order logics. 66 - 79CZYSTY TEKSTBIBTEX
-
An adequate matrix tor the ``And Next'' calculus of G. H. von Wrights. 80 - 92CZYSTY TEKSTBIBTEX
