Bemerkungen zu den Ausführungen von Herrn S. Leśniewski über meine Arbeit ``Zur Hilbertschen Beweistheorie.

DOI10.4064/fm-17-1-331-334zbMath57.0055.02MaRDI QIDQ571222

Johann von Neumann

Publication date: 1931

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/212525