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
(Sprache: Englisch, Deutsch)
Leider schon ausverkauft
versandkostenfrei
Buch
37.40 €
Produktdetails
Produktinformationen zu „ISILC - Proof Theory Symposion “
Inhaltsverzeichnis zu „ISILC - Proof Theory Symposion “
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.
Bibliographische Angaben
- 1976, 1975., 390 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch/Deutsch
- Herausgegeben von Diller, J.; Müller, G. H.
- Herausgegeben: G. H. Müller, J. Diller
- Verlag: Springer
- ISBN-10: 354007533X
- ISBN-13: 9783540075332
- Erscheinungsdatum: 01.01.1976
Sprache:
Englisch, Deutsch
Kommentar zu "ISILC - Proof Theory Symposion"
0 Gebrauchte Artikel zu „ISILC - Proof Theory Symposion“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "ISILC - Proof Theory Symposion".
Kommentar verfassen