Geodesic
Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 2 (1954), pp. 1-3

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

Zbl
Mots-clés : philosophy and foundations of mathematics 
Gerhard Gentzen. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 2 (1954), pp. 1-3. http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/
@article{AMLG_1954__2_137718,
     author = {Gerhard Gentzen},
     title = {Zusammenfassung von mehreren vollst\"andigen {Induktionen} zu einer einzigen.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {1--3},
     year = {1954},
     volume = {2},
     zbl = {0055.00504},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/}
}
TY  - JOUR
AU  - Gerhard Gentzen
TI  - Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1954
SP  - 1
EP  - 3
VL  - 2
UR  - http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/
ID  - AMLG_1954__2_137718
ER  - 
%0 Journal Article
%A Gerhard Gentzen
%T Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1954
%P 1-3
%V 2
%U http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/
%F AMLG_1954__2_137718