Neumann [1927], Zur Hilbertschen Beweistheorie (0)

by Johann von
Venue:Mathematische Zeitschrift