1. Homology of proof-nets

   • François Métayer

   OriginalPaper Pages: 169 - 188

2. Proof-functional connectives and realizability

   • Franco Barbanera
   • Simone Martini

   OriginalPaper Pages: 189 - 211

3. Induction and foundation in the theory of hereditarily finite sets

   • Flavio Previale

   OriginalPaper Pages: 213 - 241