Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MZ_1927__26_167910, author = {J. v. v. Neumann}, title = {Zur {Hilbertschen} {Beweistheorie}}, journal = {Mathematische Zeitschrift}, pages = {1--46}, publisher = {mathdoc}, volume = {26}, year = {1927}, zbl = {53.0041.02}, url = {http://geodesic.mathdoc.fr/item/MZ_1927__26_167910/} }
J. v. v. Neumann. Zur Hilbertschen Beweistheorie. Mathematische Zeitschrift, Tome 26 (1927), pp. 1-46. http://geodesic.mathdoc.fr/item/MZ_1927__26_167910/