TYTUŁ
Bulletin of the Section of Logic
1985 / Tom 14 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On a certain method of producing logical matricess. 2 - 5CZYSTY TEKSTBIBTEX
-
A new variant of the Godel-Malcev theorem for the classical propositional calculuss. 8 - 12CZYSTY TEKSTBIBTEX
-
On finitely E-based consequence determined by Wronski's matrixs. 15 - 18CZYSTY TEKSTBIBTEX
-
Non-Fregean logic and other formalizations of propositional identitys. 21 - 27CZYSTY TEKSTBIBTEX
-
On classification of commutative BCK-logicss. 30 - 32CZYSTY TEKSTBIBTEX
-
On number of Lindenbaum's oversystems of propositional and predicate calculis. 34 - 38CZYSTY TEKSTBIBTEX
-
QB and normal algebrass. 41 - 45CZYSTY TEKSTBIBTEX
