Zur Hilbertschen Beweistheorie (1927)

by J von Neumann
Venue:Mathematische Zeitschrift