21. Nonstandard methods in many-valued logics

22. Cut elimination in the simply lambda calculus

23. Church-Rosser theorem for conjunctive type systems

24. Formal number theory and subrecursive degree structures

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

26. Idempotence of classical logics and the logic of multisets

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

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

29. To preference via entrenchment

30. Unknown but not undefined?

31. On the role of interpolation in stepwise refinement

32. Complexity of products of modal logics

33. Trends in reasoning about action

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

35. Logic as a vehile for real life applications

36. Logic-Based tools for legal contract drafting: prospects and problems

37. Contraction can result in less uncertainty

38. Modular logic programming and abstract data types

39. Reductions of search space in RUE-Resolution theorem proving

40. Reasoning about termination of tabled logic programs