1. An elementary proof of strong normalization for intersection types

   • Silvio Valentini

   Pages: 475 - 488

2. On one-sided versus two-sided classification

   • Frank Stephan

   Pages: 489 - 513

3. Axiomatization of abelian-by-G groups for a finite group G

   • Francis Oger

   Pages: 515 - 521

4. The class of groups which have a subgroup of index 2 is not elementary

   • Thierry Coulbois

   Pages: 523 - 524

5. On the definability of verbal subgroups

   • Françcoise Point

   Pages: 525 - 529

6. Some remarks on a question of D. H. Fremlin regarding ε-density

   • Arthur W. Apter
   • Mirna Džamonja

   Pages: 531 - 540

7. Natural deduction with general elimination rules

   • Jan von Plato

   Pages: 541 - 567