%0 Journal Article %A J. v. v. Neumann %T Zur Hilbertschen Beweistheorie %J Mathematische Zeitschrift %D 1927 %P 1-46 %V 26 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZ_1927__26_167910/ %F MZ_1927__26_167910