No label defined (Q4184831)

From MaRDI portal
scientific article; zbMATH DE number 3621712
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 3621712

    Statements

    0 references
    1979
    0 references
    Functional Interpretations in Proof Theory
    0 references
    Intuitionistic Arithmetic
    0 references
    Survey
    0 references
    First-Order Arithmetic
    0 references
    Soundness
    0 references
    Intuitionism
    0 references
    Algorithms
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references