1. Some coinductive graphs

   • A. H. Lachlan

   OriginalPaper Pages: 213 - 229

   

2. An isolic generalization of Cauchy's theorem for finite groups

   • J. C. E. Dekker

   OriginalPaper Pages: 231 - 236

3. Existential equivalence of ordered abelian groups with parameters

   • V. Weispfenning

   OriginalPaper Pages: 237 - 248

4. Ordinal notations based on a weakly Mahlo cardinal

   • Michael Rathjen

   OriginalPaper Pages: 249 - 263

5. Satisfiability of formulae with one ∀ is decidable in exponential time

   • Erich Grädel

   OriginalPaper Pages: 265 - 276