TYTUŁ
Bulletin of the Section of Logic
1991 / Tom 20 / Numer 3-4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Operators on branched quantifierss. 83 - 84CZYSTY TEKSTBIBTEX
-
Hilbert's e-symbol in the presence of generatized quantifierss. 85 - 87CZYSTY TEKSTBIBTEX
-
Continous operations on spaces of structuress. 88 - 89CZYSTY TEKSTBIBTEX
-
The Mizar Projects. 90 - 91CZYSTY TEKSTBIBTEX
-
PC Mizar Presentations. 92 - 93CZYSTY TEKSTBIBTEX
-
The collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebrass. 94 - 95CZYSTY TEKSTBIBTEX
-
On models with automorphismss. 96CZYSTY TEKSTBIBTEX
-
Some problems in topological model theorys. 97CZYSTY TEKSTBIBTEX
-
Finite generation problem and n-ary quantifierss. 98 - 99CZYSTY TEKSTBIBTEX
-
Generalized quantifiers and finite modelss. 100 - 101CZYSTY TEKSTBIBTEX
-
Decision problems for linear orderings in stationary logics. 102 - 104CZYSTY TEKSTBIBTEX
-
Small ninisimorphic models can be equivalent in long gamess. 105 - 106CZYSTY TEKSTBIBTEX
-
Some remarks on definable quantifierss. 107CZYSTY TEKSTBIBTEX
-
Tannenbaum phenomena for bounded existential inductions. 108CZYSTY TEKSTBIBTEX
-
The $omega;1-like recursively saturated models of arithmetics. 109CZYSTY TEKSTBIBTEX
-
Quantifiers determined by class of binary relationss. 110CZYSTY TEKSTBIBTEX
-
Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifierss. 111 - 112CZYSTY TEKSTBIBTEX
-
Quantifiers definable by second order meanss. 113 - 114CZYSTY TEKSTBIBTEX
-
Generalized quantifiers in algebras. 115CZYSTY TEKSTBIBTEX
-
Quantification over liness. 116CZYSTY TEKSTBIBTEX
-
Pre-ordered quantifiers in elementary sentences of natural languages. 117 - 118CZYSTY TEKSTBIBTEX
-
Non-axiomatizability of Grice's implicatures. 119 - 123CZYSTY TEKSTBIBTEX
-
Characterization of the reduced matrices for the {&,or}-fragment of classical logics. 124 - 129CZYSTY TEKSTBIBTEX
-
A relation between namesakes in modal logics. 130 - 137CZYSTY TEKSTBIBTEX
-
Quasivarieties of modular ortholatticess. 138 - 142CZYSTY TEKSTBIBTEX
-
A sequel to Hawranek/Zygmunts. 143 - 144CZYSTY TEKSTBIBTEX
