TYTUŁ
Bulletin of the Section of Logic
1984 / Tom 13 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Towards a formal semioticss. 44 - 49CZYSTY TEKSTBIBTEX
-
On the degree of matrix complexitys. 50 - 54CZYSTY TEKSTBIBTEX
-
T-norms and φ-operators as truth functions of many valued connectivess. 55 - 59CZYSTY TEKSTBIBTEX
-
Deontic detachments. 60 - 63CZYSTY TEKSTBIBTEX
-
Characterization of prime numbers by Lukasiewicz's many-valued logicss. 64 - 68CZYSTY TEKSTBIBTEX
-
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programss. 69 - 74CZYSTY TEKSTBIBTEX
-
Gentzen-style axiomatization of tense logics. 75 - 84CZYSTY TEKSTBIBTEX
-
An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculis. 85 - 91CZYSTY TEKSTBIBTEX
-
On Lemmon's interpretations of the connective of necessitys. 92 - 98CZYSTY TEKSTBIBTEX
-
An interpretation of a certain fragment of arithmetic in some propositional calculuss. 99 - 110CZYSTY TEKSTBIBTEX
