The irreducibility of impredicative principles.
Mathematische Annalen, Tome 125 (1952), pp. 56-66
Cet article a éte moissonné depuis la source European Digital Mathematics Library
@article{MAN_1952__125_160295,
author = {H. Wang},
title = {The irreducibility of impredicative principles.},
journal = {Mathematische Annalen},
pages = {56--66},
year = {1952},
volume = {125},
zbl = {0049.16503},
url = {http://geodesic.mathdoc.fr/item/MAN_1952__125_160295/}
}
H. Wang. The irreducibility of impredicative principles.. Mathematische Annalen, Tome 125 (1952), pp. 56-66. http://geodesic.mathdoc.fr/item/MAN_1952__125_160295/