Browse through e-books
⊨ISILC Proof Theory Symposion [1975]
- 1
-
Verzeichnis der Publikationen von Kurt Schütte
- 4
-
Normalfunktionen und Konstruktive Systeme von Ordinalzahlen
- 26
-
Sound functors
- 44
-
A study of generalized standardization in combinatory logic
- 56
-
Intensionale Funktionalinterpretation der Analysis
- 73
-
Non-extensional type-free theories of partial operations and classifications, I
- 119
-
Kombinatorische Konstruktionen mit Beweisen und Schnittelimination
- 152
-
Calculability of the primitive recursive functionals of finite type over the natural numbers
- 164
-
Observations on a recent generalization of completeness theorems due to Schütte
- 182
-
Strong normalization for arithmetic
- 198
-
Intuitionistic completeness of a restricted second-order logic
- 233
-
The real elements in a consistency proof for simple type theory I
- 257
-
Church Rosser Theorem für λ-Kalküle mit Unendlich Langen Termen
- 264
-
Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit
- 267
-
Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen
- 271
-
An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions
- 290
-
Comments on gentzen-type procedures and the classical notion of truth
- 320
-
Bemerkungen zu Regel und Schema
- 341
-
Infinite terms and recursion in higher types
- 365
-
Consistency proofs and ordinals
- 370
-
Markov's principle and Markov's rule for theores of choice sequences