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.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
G. Gentzen: Neue Fassung des Widerspruchfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik & Grundlegung der exakten Wissenschaften, Neue Folge (1938).
S. C. Kleene: Introduction to Metamathematics. North-Holland, (1962).
S. C. Kleene—R. E. Vesley: The Foundations of Intuitionistic Mathematics. North-Holland (1965).
G. Kreisel: Interpretation of Analysis by means of Constructive Functionals of Finite Type, in “Constructivity in Mathematics”, North-Holland (1959).
B. Scarpellini: Some Applications of Gentzens Second Consistency Proof. Math. Ann. 181 (1969).
B. Scarpellini: Proof Theory and Intuitionistic Systems. Lecture Notes in Math. 212, Springer (1971).
B. Scarpellini: Induction and Transfinite Induction in Intuitionistic Systems. Annals of Math. Logic, Vol. 4, No. 2, (1972).
B. Scarpellini: A Model of Intuitionistic Analysis. Commentarii Math. Helv., Vol. 45, Fasc. 4 (1970).
K. Schütte: Beweistheorie. Springer (1960).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Scarpellini, B. (1975). Bemerkungen zu Regel und Schema. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079560
Download citation
DOI: https://doi.org/10.1007/BFb0079560
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive
