@article{MZ_1926__25_167903,
     author = {P. Finsler},
     title = {Formale {Beweise} und die {Entscheidbarkeit}},
     journal = {Mathematische Zeitschrift},
     pages = {676--682},
     publisher = {mathdoc},
     volume = {25},
     year = {1926},
     zbl = {52.0049.02},
     url = {http://geodesic.mathdoc.fr/item/MZ_1926__25_167903/}
}