TY  - JOUR
AU  - J. v. v. Neumann
TI  - Zur Hilbertschen Beweistheorie
JO  - Mathematische Zeitschrift
PY  - 1927
SP  - 1
EP  - 46
VL  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1927__26_167910/
ID  - MZ_1927__26_167910
ER  -