| 1. Mark A.BROWN, Operators on branched quantifiers | 83 [PDF 2005] | |
| 2. Xavier CAICEDO, Hilbert's e-symbol in the presence of generatized quantifiers | 85 [PDF 2005] | |
| 3. Xavier CAICEDO, Continous operations on spaces of structures | 88 [PDF 2005] | |
| 4. Andrzej TRYBULEC, The Mizar Project | 90 [PDF 2005] | |
| 5. Agata DARMOCHWAL, PC Mizar Presentation | 92 [PDF 2005] | |
| 6. A.G.DRAGALIN, The collapse of the descriptive complexity of truth definitions. Completions of Heyting and Boolean algebras | 94 [PDF 2005] | |
| 7. Heinz-Dieter EBBINGHAUS, On models with automorphisms | 96 [PDF 2005] | |
| 8. Jorg FLUM, Some problems in topological model theory | 97 [PDF 2005] | |
| 9. Lauri HELLA and Kerkko LUOSTO, Finite generation problem and n-ary quantifiers | 98 [PDF 2005] | |
| 10. Lauri HELLA and Gabriel SANDU, Generalized quantifiers and finite models | 100 [PDF 2005] | |
| 11. Heinrich HERRE, Decision problems for linear orderings in stationary logic | 102 [PDF 2005] | |
| 12. Taneli HUUSKONEN, Small ninisimorphic models can be equivalent in long games | 105 [PDF 2005] | |
| 13. Aleksandre A.IVANOV, Some remarks on definable quantifiers | 107 [PDF 2005] | |
| 14. Richard KAYE, Tannenbaum phenomena for bounded existential induction | 108 [PDF 2005] | |
| 15. Roman KOSSAK, The $omega;1-like recursively saturated models of arithmetic | 109 [PDF 2005] | |
| 16. Michal KRYNICKI, Quantifiers determined by class of binary relations | 110 [PDF 2005] | |
| 17. Wolfgang LENSKI, Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers | 111 [PDF 2005] | |
| 18. Marcin MOSTOWSKI, Quantifiers definable by second order means | 113 [PDF 2005] | |
| 19. A.G.PINUS, Generalized quantifiers in algebra | 115 [PDF 2005] | |
| 20. Heinz-Peter TUSCHNIK, Quantification over lines | 116 [PDF 2005] | |
| 21. Marek M.ZAWADOWSKI, Pre-ordered quantifiers in elementary sentences of natural language | 117 [PDF 2005] | |
| 22. Marek TOKARZ, Non-axiomatizability of Grice's implicature | 119 [PDF 2005] | |
| 23. J.M.FONT, F.GUZMAN and V.VERDU, Characterization of the reduced matrices for the {&,or}-fragment of classical logic | 124 [PDF 2005] | |
| 24. Timothy WILIAMSON, A relation between namesakes in modal logic | 130 [PDF 2005] | |
| 25. Jacek MALINOWSKI, Quasivarieties of modular ortholattices | 138 [PDF 2005] | |
| 26. Boguslaw WOLNIEWICZ, A sequel to Hawranek/Zygmunt | 143 [PDF 2005] |