Eine beweistheoretische Anwendung partieller stetiger Funktionale (Q4184826)

From MaRDI portal
scientific article; zbMATH DE number 3621707
Language Label Description Also known as
English
Eine beweistheoretische Anwendung partieller stetiger Funktionale
scientific article; zbMATH DE number 3621707

    Statements

    Eine beweistheoretische Anwendung partieller stetiger Funktionale (English)
    0 references
    0 references
    1978
    0 references
    (Partial) Continuous Functions of Finite Type
    0 references
    Primitive Recursive Relations
    0 references
    Proof Theory
    0 references
    Quantitative Theory of Algorithms
    0 references
    Intuitionism
    0 references
    Recursion Theory
    0 references
    Complexity of Proofs
    0 references
    Quantitative Theory Of Algorithms
    0 references
    Heyting Arithmetic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references