Formale Beweise und die Entscheidbarkeit
Finsler, P.
Mathematische Zeitschrift, Tome 24 (1926), p. 676-682 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1926-01-01
EUDML-ID : urn:eudml:doc:167903 
@article{GDZPPN002369001,
     title = {Formale Beweise und die Entscheidbarkeit},
     journal = {Mathematische Zeitschrift},
     volume = {24},
     year = {1926},
     pages = {676-682},
     zbl = {52.0049.02},
     url = {http://dml.mathdoc.fr/item/GDZPPN002369001}
}

Finsler, P. Formale Beweise und die Entscheidbarkeit. Mathematische Zeitschrift, Tome 24 (1926) pp. 676-682. http://gdmltest.u-ga.fr/item/GDZPPN002369001/