| 1. Branislav R.BORICIC, Interpolation theorem for intuitionistic S4 | 2 [PDF 2005] | |
| 2. Pawel M.IDZIAK, Decision problem for finite equivalential algebras | 7 [PDF 2005] | |
| 3. Wojciech SUCHON, Counting formulae of propositional calculus | 10 [PDF 2005] | |
| 4. Ewa ORLOWSKA, Post relation algebra | 14 [PDF 2005] | |
| 5. Valentin GORANKO, Proving unprovability in some normal modal logic | 32 [PDF 2005] | |
| 6. C.JAHNS and W.RAUTENBERG, Correction to Common logic of binary connective has finite maximality degree | 30 [PDF 2005] |