Archiv für mathematische Logik und Grundlagenforschung

, Volume 16, Issue 3, pp 119–132

Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Authors

  • Gerhard Gentzen
Article

DOI: 10.1007/BF02015371

Cite this article as:
Gentzen, G. Arch math Logik (1974) 16: 119. doi:10.1007/BF02015371

Copyright information

© Verlag W. Kohlhammer 1974