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
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in mathematics
500 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Contributions en anglais ou en allemand Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ISILC - Proof Theory Symposion, Texte imprimé, 9783540075332 • ISILC - Proof Theory Symposion, Texte imprimé, 9783662213346 |
Inhoudsopgave:
- 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.