Voir la notice de l'article provenant de la source European Digital Mathematics Library
@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}, publisher = {mathdoc}, volume = {2}, year = {1954}, 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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1954__2_137718/ ID - AMLG_1954__2_137718 ER -
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/