Inequivalence of the fragments of new foundations.
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 77-82
Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1981__21_137977,
author = {Urs Oswald},
title = {Inequivalence of the fragments of new foundations.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {77--82},
publisher = {mathdoc},
volume = {21},
year = {1981},
zbl = {0468.03034},
url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137977/}
}
Urs Oswald. Inequivalence of the fragments of new foundations.. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 77-82. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137977/