%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