TYTUŁ
Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3
1990 / Tom 19 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Finite logics and the simple substitution propertys. 74 - 78CZYSTY TEKSTBIBTEX
-
On theories of non-monotonic consequence operations IIs. 79 - 83CZYSTY TEKSTBIBTEX
-
Some modofications of the Godel translation of classical logic into intuitionistic logics. 84 - 86CZYSTY TEKSTBIBTEX
-
An integer-valued matrix characteristic for implicational S5s. 87 - 91CZYSTY TEKSTBIBTEX
-
Intuitionistic sentential calculus with identitys. 92 - 99CZYSTY TEKSTBIBTEX
-
Peirced Clean Throughs. 100 - 101CZYSTY TEKSTBIBTEX
-
On pure refutation formulations of sentential logicss. 102 - 107CZYSTY TEKSTBIBTEX
-
A question about semilatticess. 108 - 111CZYSTY TEKSTBIBTEX
