Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements (Q5213582)

From MaRDI portal





scientific article; zbMATH DE number 7162268
Language Label Description Also known as
English
Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements
scientific article; zbMATH DE number 7162268

    Statements

    Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements (English)
    0 references
    0 references
    3 February 2020
    0 references

    Identifiers