TYTUŁ
Bulletin of the Section of Logic
1995 / Tom 24 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
The undecidability of formal definitions in the theory of finite groupss. 56 - 63CZYSTY TEKSTBIBTEX
-
Fork algebras are representables. 64 - 75CZYSTY TEKSTBIBTEX
-
Rationalizing relevant primitives, of course!s. 76 - 79CZYSTY TEKSTBIBTEX
-
On some operators on pseudovarieties IIs. 80 - 88CZYSTY TEKSTBIBTEX
-
The logic of dichotomic changess. 89 - 97CZYSTY TEKSTBIBTEX
-
A note on derivation rules in modal logics. 98 - 104CZYSTY TEKSTBIBTEX
-
Hintikka formulas as axioms of refutation calculus, a case studys. 105 - 114CZYSTY TEKSTBIBTEX
-
The single axiom-schema of March 8ths. 115CZYSTY TEKSTBIBTEX
