Advertisement

Bemerkungen zu Regel und Schema

  • B. Scarpellini
Conference paper
  • 178 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Keywords

Dann Gilt 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    G. Gentzen: Neue Fassung des Widerspruchfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik & Grundlegung der exakten Wissenschaften, Neue Folge (1938).Google Scholar
  2. [2]
    S. C. Kleene: Introduction to Metamathematics. North-Holland, (1962).Google Scholar
  3. [3]
    S. C. Kleene—R. E. Vesley: The Foundations of Intuitionistic Mathematics. North-Holland (1965).Google Scholar
  4. [4]
    G. Kreisel: Interpretation of Analysis by means of Constructive Functionals of Finite Type, in “Constructivity in Mathematics”, North-Holland (1959).Google Scholar
  5. [5]
    B. Scarpellini: Some Applications of Gentzens Second Consistency Proof. Math. Ann. 181 (1969).Google Scholar
  6. [6]
    B. Scarpellini: Proof Theory and Intuitionistic Systems. Lecture Notes in Math. 212, Springer (1971).Google Scholar
  7. [7]
    B. Scarpellini: Induction and Transfinite Induction in Intuitionistic Systems. Annals of Math. Logic, Vol. 4, No. 2, (1972).Google Scholar
  8. [8]
    B. Scarpellini: A Model of Intuitionistic Analysis. Commentarii Math. Helv., Vol. 45, Fasc. 4 (1970).Google Scholar
  9. [9]
    K. Schütte: Beweistheorie. Springer (1960).Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • B. Scarpellini

There are no affiliations available

Personalised recommendations