Formale Beweise und die Entscheidbarkeit
Mathematische Zeitschrift (1926)
- Volume: 25, page 676-682
- ISSN: 0025-5874; 1432-1823
Access Full Article
topHow to cite
topFinsler, P.. "Formale Beweise und die Entscheidbarkeit." Mathematische Zeitschrift 25 (1926): 676-682. <http://eudml.org/doc/167903>.
@article{Finsler1926,
author = {Finsler, P.},
journal = {Mathematische Zeitschrift},
pages = {676-682},
title = {Formale Beweise und die Entscheidbarkeit},
url = {http://eudml.org/doc/167903},
volume = {25},
year = {1926},
}
TY - JOUR
AU - Finsler, P.
TI - Formale Beweise und die Entscheidbarkeit
JO - Mathematische Zeitschrift
PY - 1926
VL - 25
SP - 676
EP - 682
UR - http://eudml.org/doc/167903
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.