Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

10% rabatt på allt* med kod JULI10 →

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

383 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

G.H. Muller, J. Diller - ISILC - Proof Theory Symposion, E-bok

ISILC - Proof Theory Symposion

G.H. Muller, J. Diller

E-bok

2006

427 kr

Franz Bauer, Ben Köhler - Proportionality in Private Law, Häftad

Del 500

Proportionality in Private Law

Franz Bauer, Ben Köhler

Häftad, 2023

1 068 kr

Ghislaine Pellat, Jovan Zafiroski, Marian Šuplata - Cooperation and Enlargement: Two Challenges to be Addressed in the European Projects—2022, Inbunden

Del 500

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

Ghislaine Pellat, Jovan Zafiroski, Marian Šuplata

Inbunden, 2023

2 160 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 021 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(48)

209 kr259 kr

Benjamin Schliesser - Zweifel, Inbunden

Del 500

Zweifel

Benjamin Schliesser

Inbunden, 2023

2 884 kr

Ralph Waldo Trine - In Tune with the Infinite, Häftad

Del 500

In Tune with the Infinite

Ralph Waldo Trine

Häftad, 2025

323 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Amit Kumar, Stefan Mozar - ICCCE 2018, Häftad

Del 500

ICCCE 2018

Amit Kumar, Stefan Mozar

Häftad, 2018

2 698 kr

Quintilian, D. R. Shackleton Bailey - Lesser Declamations, Volume I, Inbunden

Del 500

Lesser Declamations, Volume I

Quintilian, D. R. Shackleton Bailey

Inbunden, 2006

364 kr