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

Av J. Diller, G.H. Müller, G. H. Müller, G. H. Mller

489 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

Decidable Theories

Decidable Theories

J.R. Büchi, D. Siefkes, J. R. Büchi, G.H. Müller, D. Siefkes, G. H. Müller

569 kr

Logic Symposia, Hakone, 1979, 1980

Logic Symposia, Hakone, 1979, 1980

G.H. Müller, G. Takeuti, T. Tugue, G. H. Müller

559 kr

ISILC - Logic Conference

ISILC - Logic Conference

G. H. Müller, A. Oberschelp, K. Potthoff, G. H. Mller

709 kr

Higher Set Theory

Higher Set Theory

G.H. Müller, D.S. Scott, G. H. Müller, D. S. Scott

709 kr

Study of Time

Study of Time

J. T. Fraser, F. C. Haber, G. H. Müller

1 399 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

G. H. Müller, M. M. Richter

639 kr

Hembiträdet

Nyhet

Del 1

Hembiträdet

Freida McFadden

125 kr

Väggkalender 2026 Elsa Beskow

Väggkalender 2026 Elsa Beskow

Kollektion Stora A

199 kr

Näktergalen

4 pocket för 3

Näktergalen

125 kr

Lackeringskit DAS 75ml lack + pensel

Lackeringskit DAS 75ml lack + pensel

DAS

159 kr