Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie.

MaRDI QIDQ2579574zbMATH OpenFDO

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)