8. Ανάστροφη αναδρομική θεωρία: μερικά αποτελέσματα

9. Idempotence of classical logics and the logic of multisets

10. Ανάστροφα μαθηματικά: επισκόπηση

11. Computable and polynomially time computable real and p-adic numbers

12. Locale theoretic methods in Logics without contraction

13. On End extensions of models of fragments of PA

14. A language of transformation

15. Arity hierarchies for fixed-point logic

16. Expressiveness of recursive database queries

17. Program specification and verification

18. Non-collapsing assumptions about complexity classes needed for proving non-approximability results

19. The role of nonmonotonic representations in requirements engineering

20. Refining logical characterization of advice complexity classes

21. To preference via entrenchment

22. Unknown but not undefined?

23. On the role of interpolation in stepwise refinement

24. Complexity of products of modal logics

25. Trends in reasoning about action

26. Linear programming based induction (LPI): a constraint logic programming elaboration

27. Logic as a vehile for real life applications