TYTUŁ
Bulletin of the Section of Logic
1978 / Tom 7 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On provability measures for deductive systems IIIs. 51 - 57CZYSTY TEKSTBIBTEX
-
Dummet's LC has the interpolation propertys. 58 - 60CZYSTY TEKSTBIBTEX
-
An inadequacy in Kripke-semantics for intuitionistic quantificational logics. 61 - 67CZYSTY TEKSTBIBTEX
-
Resolution system for ω+-valued logics. 68 - 74CZYSTY TEKSTBIBTEX
-
Dual counterparts of strongly finite consequences. 75CZYSTY TEKSTBIBTEX
-
Boolean theories with quantifierss. 76 - 83CZYSTY TEKSTBIBTEX
-
On some higher-order predicate calculis. 84CZYSTY TEKSTBIBTEX
-
Some remarks on Griss' logic of negationless intuitionistic mathematicss. 85CZYSTY TEKSTBIBTEX
-
Bernays' class theorys. 86CZYSTY TEKSTBIBTEX
-
Deductive systems and congruence relation in ortholatticess. 87CZYSTY TEKSTBIBTEX
-
Internal models for any finite subset of the axioms of the impredicative theory of classess. 88CZYSTY TEKSTBIBTEX
-
The reals in D*s. 88CZYSTY TEKSTBIBTEX
-
An algebraic study of a propositional system of Nelsons. 89CZYSTY TEKSTBIBTEX
-
Some remarks in set theorys. 90CZYSTY TEKSTBIBTEX
-
On the problem of Jaskowski and the logics of Lukasiewiczs. 91CZYSTY TEKSTBIBTEX
-
The method of valuations in modal logics. 91CZYSTY TEKSTBIBTEX
-
Discussive versions of the modal calculi T, B, S4 and S5s. 92CZYSTY TEKSTBIBTEX
-
Superposition of states in quantum logic from a set theoretical point of views. 92CZYSTY TEKSTBIBTEX
-
Constructability in the impredicative theory of classess. 93CZYSTY TEKSTBIBTEX
-
From total to partial algebrass. 94CZYSTY TEKSTBIBTEX
-
A proof-theoretic analysis of da Costa's C*s. 95CZYSTY TEKSTBIBTEX
-
Cylindric algebras with a property of Rasiowa and Sikorskis. 95CZYSTY TEKSTBIBTEX
-
Decision problems: history and methodss. 96CZYSTY TEKSTBIBTEX
-
Functorialization of first-order language with finitely many predicatess. 97 - 101CZYSTY TEKSTBIBTEX
