Gentzen, Gerhard. "Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.." Archiv für mathematische Logik und Grundlagenforschung 16 (1974): 97-118. <http://eudml.org/doc/137887>.
@article{Gentzen1974, author = {Gentzen, Gerhard}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, pages = {97-118}, title = {Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.}, url = {http://eudml.org/doc/137887}, volume = {16}, year = {1974}, }
TY - JOUR AU - Gentzen, Gerhard TI - Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1974 VL - 16 SP - 97 EP - 118 UR - http://eudml.org/doc/137887 ER -