TYTUŁ
Bulletin of the Section of Logic
1973 / Tom 2 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
The conference on the scientific achivement of Mordchaj Wajsbergs. 87 - 89CZYSTY TEKSTBIBTEX
-
Mordchaj Wajsberg : life and workss. 91 - 94CZYSTY TEKSTBIBTEX
-
Wajsberg's algorithm for the classical propositional calculuss. 97 - 100CZYSTY TEKSTBIBTEX
-
A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculuss. 103 - 105CZYSTY TEKSTBIBTEX
-
Wajsberg on the first-order predicate calculus for the finite modelss. 107 - 110CZYSTY TEKSTBIBTEX
-
Wajsberg's semantics for the system S5 of Lewiss. 112 - 115CZYSTY TEKSTBIBTEX
-
Axiomatizability of finite matricess. 118 - 120CZYSTY TEKSTBIBTEX
-
Application of the theory of logical matrices in the independence proofs. 121 - 124CZYSTY TEKSTBIBTEX
-
On problems of definability of propositional connectivess. 127 - 129CZYSTY TEKSTBIBTEX
-
The Wajsberg's results connected with separability of the intuitionistic propositional logics. 131 - 133CZYSTY TEKSTBIBTEX
-
The degree of completeness of Godel's logics. 134 - 137CZYSTY TEKSTBIBTEX
-
A method of the constructions of characterization of Lukasiewiczian logicss. 139 - 142CZYSTY TEKSTBIBTEX
-
Axiomatization of finite N-algebras by the method of T.Hosois. 144 - 147CZYSTY TEKSTBIBTEX
-
The degree of completeness of some fragments of the intuitionistic propositional logics. 149 - 153CZYSTY TEKSTBIBTEX
