03393nam 22006135 450 99646687170331620230412151913.03-540-38020-510.1007/BFb0079542(CKB)1000000000438303(SSID)ssj0000320734(PQKBManifestationID)12087861(PQKBTitleCode)TC0000320734(PQKBWorkID)10257699(PQKB)10030159(DE-He213)978-3-540-38020-7(MiAaPQ)EBC5595277(Au-PeEL)EBL5595277(OCoLC)1076229865(MiAaPQ)EBC6841800(Au-PeEL)EBL6841800(OCoLC)1292353833(PPN)155210459(EXLCZ)99100000000043830320121227d1975 u| 0engurnn#008mamaatxtccrISILC - Proof Theory Symposion[electronic resource] Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 /herausgegeben von J. Diller, G.H. Müller1st ed. 1975.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1975.1 online resource (CD, 390 p.)Lecture Notes in Mathematics,1617-9692 ;500Bibliographic Level Mode of Issuance: Monograph3-540-07533-X Verzeichnis der Publikationen von Kurt Schütte -- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen -- Sound functors -- A study of generalized standardization in combinatory logic -- Intensionale Funktionalinterpretation der Analysis -- Non-extensional type-free theories of partial operations and classifications, I -- Kombinatorische Konstruktionen mit Beweisen und Schnittelimination -- Calculability of the primitive recursive functionals of finite type over the natural numbers -- Observations on a recent generalization of completeness theorems due to Schütte -- Strong normalization for arithmetic -- Intuitionistic completeness of a restricted second-order logic -- The real elements in a consistency proof for simple type theory I -- Church Rosser Theorem für ?-Kalküle mit Unendlich Langen Termen -- Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit -- Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen -- An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions -- Comments on gentzen-type procedures and the classical notion of truth -- Bemerkungen zu Regel und Schema -- Infinite terms and recursion in higher types -- Consistency proofs and ordinals -- Markov's principle and Markov's rule for theores of choice sequences.a.Lecture Notes in Mathematics,1617-9692 ;500Mathematical logicMathematical Logic and FoundationsMathematical logic.Mathematical Logic and Foundations.511.36Diller Justus46332Müller G. H(Gert Heinz),1923-MiAaPQMiAaPQMiAaPQBOOK996466871703316ISILC - Proof Theory Symposion3091298UNISA