1. Introduction to the model theory of fields

2. Descriptive set theory and large cardinals

3. An automata-theoretic approach to linear temporal logic

4. Difference fields: study of finite-dimensional sets

5. Aristotle's logical examples

6. Common sense reasoning: what logic does this follow?

7. Linear algebraic groups and descriptive set theory

8. On Colson's theorem

9. Complexity as metaphor

10. Formal methods: an overview and perspectives

11. Datalog trees and their automata

12. Structure degree jump

13. The VDM+B project: objectives and progress

14. Countable structures with a fixed group of automorphisms

15. Non-monotonic inference on belief sequences

16. On end extensions of models of Σn- induction

17. Characterization of the structures which admit effective enumerations

18. On the completeness of theory-based variant of resolution

19. Topology in lambda calculus

20. Trees and finite branching