Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Q5450521)

From MaRDI portal
scientific article; zbMATH DE number 5248785
Language Label Description Also known as
English
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
scientific article; zbMATH DE number 5248785

    Statements

    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (English)
    0 references
    0 references
    12 March 2008
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    proof theory
    0 references
    proof interpretation
    0 references
    proof mining
    0 references
    realizibility
    0 references
    functional interpretation
    0 references
    approximation theory
    0 references
    nonlinear analysis
    0 references
    0 references