Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

Titleโ{138}จISILC 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 / edited by Justus Diller, Gert H. Mรผller
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect tohttp://dx.doi.org/10.1007/BFb0079542
Descript CD, 390 p. online resource

CONTENT

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 -- ร{156}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


Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram