Volume 33, Issue 3 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 33, Issue 3

May 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Homology of proof-nets
François Métayer
OriginalPaper Pages: 169 - 188
Proof-functional connectives and realizability
Franco Barbanera
Simone Martini
OriginalPaper Pages: 189 - 211
Induction and foundation in the theory of hereditarily finite sets
Flavio Previale
OriginalPaper Pages: 213 - 241