Del 500 i serien Lecture Notes in Mathematics

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

Häftad, Engelska, 1976

AvJ. Diller,G.H. Müller

499 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1976-01-01
Mått216 x 279 x 22 mm
Vikt598 g
FormatHäftad
SpråkEngelska, Tyska
SerieLecture Notes in Mathematics
Antal sidor390
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540075332

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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

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 389 kr

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar, Övrigt

3 för 2 Frixion

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar

Pilot

55 kr

E Gachine - 77 Days of Power, Häftad

Del 500

77 Days of Power

E Gachine

Häftad, 2014

189 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 789 kr

Kollegieblock A4 rutat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 rutat svart

Kollektion Stora A

39 kr

Alexandra Bring - Flickan och silverhjorten, Inbunden

Nyhet

Del 1

Flickan och silverhjorten

Alexandra Bring

Inbunden, 2026

219 kr249 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 899 kr

Benjamin Schliesser - Zweifel, Inbunden

Del 500

Zweifel

Benjamin Schliesser

Inbunden, 2023

3 739 kr

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

Del 500

ICCCE 2018

Amit Kumar, Stefan Mozar

Häftad, 2018

3 479 kr

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

Del 500

Lesser Declamations, Volume I

Quintilian, D. R. Shackleton Bailey

Inbunden, 2006

459 kr

ISILC - Proof Theory Symposion - J. Diller - Häftad | Akademibokhandeln