1. Proof nets of PN as graphs

   • Eric Duquesne
   • Jacques Van de Wiele

   OriginalPaper Pages: 1 - 20

2. A note on trivial nonmultidimensional superstable theories

   • Ambar Chowdhury

   OriginalPaper Pages: 21 - 31

3. Unbounded families and the cofinality of the infinite symmetric group

   • James D. Sharp
   • Simon Thomas

   OriginalPaper Pages: 33 - 45

4. A theory of rules for enumerated classes of functions

   • Andreas Schlüter

   OriginalPaper Pages: 47 - 63

5. Strong storage operators and data types

   • Karim Nour

   OriginalPaper Pages: 65 - 78