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

DOI10.4064/FM-17-1-331-334zbMath57.0055.02OpenAlexW1187409592MaRDI 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

Related Items (1)

INFORMAL PROOF, FORMAL PROOF, FORMALISM

This page was built for publication: Bemerkungen zu den Ausführungen von Herrn S. Leśniewski über meine Arbeit ``Zur Hilbertschen Beweistheorie.