ISILC - Proof Theory Symposion

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

AvJ. Diller,G.H. Müller

Häftad, Engelska, 1976

Del 500 i serien Lecture Notes in Mathematics

391 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1976-01-01
Mått:216 x 279 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska, Tyska
Serie:Lecture Notes in Mathematics
Antal sidor:390
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540075332

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Del 500

Proportionality in Private Law

Franz Bauer, Ben Köhler

Häftad, 2023

1 076 kr

ISILC - Proof Theory Symposion

G.H. Muller, J. Diller

E-bok

2006

431 kr

Del 500

Cooperation and Enlargement: Two Challenges to be Addressed in the European Projects—2022

Ghislaine Pellat, Jovan Zafiroski, Marian Šuplata

Inbunden, 2023

2 202 kr

Del 500

Schonsten Sagen DES Klassichen Altertums

Gustav Schwab

Häftad, 1999

170 kr

Serge Desjardins, Gérard J Poitras, M. Shahria Alam, Xiomara Sanchez-Castillo - Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 6, Häftad

Del 500

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 6

Serge Desjardins, Gérard J Poitras, M. Shahria Alam, Xiomara Sanchez-Castillo

Häftad, 2026

3 080 kr

Del 500

Zweifel

Benjamin Schliesser

Inbunden, 2023

2 906 kr

Del 500

In Tune with the Infinite

Ralph Waldo Trine

Häftad, 2025

325 kr

Del 500

ICCCE 2018

Amit Kumar, Stefan Mozar

Häftad, 2018

2 751 kr

Del 500

Lesser Declamations, Volume I

Quintilian, D. R. Shackleton Bailey

Inbunden, 2006

366 kr

Del 500

Communications and Networking

Feifei Gao, Jun Wu, Yun Li, Honghao Gao

Häftad, 2023

1 024 kr

ISILC - Proof Theory Symposion

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

AvJ. Diller,G.H. Müller

Häftad, Engelska, 1976

Del 500 i serien Lecture Notes in Mathematics

391 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1976-01-01
Mått:216 x 279 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska, Tyska
Serie:Lecture Notes in Mathematics
Antal sidor:390
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540075332

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.