Eine Verallgemeinerung des Hauptsatzes von Gentzen

  • Peter Zahn
Article
  • 20 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Gentzen, G., 1934: Untersuchungen über das logische Schließen. Math. Z. 39.Google Scholar
  2. [2]
    Kleene, S. C., 1952: Indroduction to Metamathematics, New York.Google Scholar
  3. [3]
    Lorenzen, P., 1967: Formale Logik. Berlin, Sammlung Göschen.Google Scholar
  4. [4]
    Lorenzen, P., 1960: Metamathematik. Mannheim, BI-Hochschultaschenbücher.Google Scholar
  5. [5]
    Schütte, K., 1960: Beweistheorie. Berlin, Springer.Google Scholar
  6. [6]
    Zahn, P., 1967: Eine Einführung der reellen Zahlen in der operativen Mathematik ohne die Unterscheidung von Sprachschichten. Gießen, Selbstverlag des Math. Seminars.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1969

Authors and Affiliations

  • Peter Zahn
    • 1
  1. 1.Meschede

Personalised recommendations