Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Finsler, P. Formale Beweise und die Entscheidbarkeit. Math Z 25, 676–682 (1926). https://doi.org/10.1007/BF01283861
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01283861