Proof-functional connectives and realizability Franco BarbaneraSimone Martini OriginalPaper Pages: 189 - 211
Induction and foundation in the theory of hereditarily finite sets Flavio Previale OriginalPaper Pages: 213 - 241