Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Referenzen
BACHMANN 55: Bachmann, H.: Transfinite Zahlen (Ergebnisse der Math. N.F. 1) Berlin-Göttingen-Heidelberg 1955.
CURRY 63: Curry, H.B.: Foundations of Mathematical Logic. New York 1963.
FEFERMAN 68: Feferman, S.: Lectures on Proof Theory. Proceedings of the Summer School in Logic, Lecture Notes in Math. 70, 1–107 (1968)
SMULLYAN 68: Smullyan, R.M.: First Order Logic (Ergebnisse der Math. N.F. 48) Berlin-Heidelberg-New York 1968.
TAIT 68: Tait, W.W.: Normal Derivability in Classical Logic. The Syntax and Semantics of Infinitary Languages, Lecture Notes in Math. 72, 204–236 (1968)
Editor information
Additional information
Kurt Schütte zur Gelegenheit seines 65ten Geburtstages gewidmet
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Felscher, W. (1975). Kombinatorische Konstruktionen mit Beweisen und Schnittelimination. 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/BFb0079549
Download citation
DOI: https://doi.org/10.1007/BFb0079549
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