Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie.
From MaRDI portal
Publication:2579574
zbMATH Open67.0037.01MaRDI QIDQ2579574FDOQ2579574
Authors: L. Kalmár
Publication date: 1941
Published in: Matematikai és Fizikai Lapok (Search for Journal in Brave)
This page was built for publication: Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2579574)