Geodesic
Formale Beweise und die Entscheidbarkeit
Mathematische Zeitschrift, Tome 25 (1926), pp. 676-682.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@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/}
}
TY  - JOUR
AU  - P. Finsler
TI  - Formale Beweise und die Entscheidbarkeit
JO  - Mathematische Zeitschrift
PY  - 1926
SP  - 676
EP  - 682
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1926__25_167903/
ID  - MZ_1926__25_167903
ER  - 
%0 Journal Article
%A P. Finsler
%T Formale Beweise und die Entscheidbarkeit
%J Mathematische Zeitschrift
%D 1926
%P 676-682
%V 25
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1926__25_167903/
%F MZ_1926__25_167903
P. Finsler. Formale Beweise und die Entscheidbarkeit. Mathematische Zeitschrift, Tome 25 (1926), pp. 676-682. http://geodesic.mathdoc.fr/item/MZ_1926__25_167903/