Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

  • 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

Authors and Affiliations

  • Gerhard Gentzen
    • 1
  1. 1.Göttingen