Hilberts Untersuchungen über die Grundlagen der Arithmetik, in (1935)

by P Bernays
Venue:Hilbert, D. Gesammelte Abhandlungen, Verlag von Julius Springer, Berlin, Bd