{"product_id":"isilc-proof-theory-symposion-dedicated-to-kurt-schutte-on-the-occasion-of-his-65th-birthday-proceedings-of-the-international-summer-institute-and-9783540075332","title":"Isilc - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and","description":"\u003cp\u003e • Author(s): J. Diller | G. H. Müller\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eVerzeichnis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615446483095,"sku":"9783540075332","price":3495.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540075332.webp?v=1775100879","url":"https:\/\/atlanticbooks.com\/products\/isilc-proof-theory-symposion-dedicated-to-kurt-schutte-on-the-occasion-of-his-65th-birthday-proceedings-of-the-international-summer-institute-and-9783540075332","provider":"Atlantic Books","version":"1.0","type":"link"}