On Herbrand's theorem (Q6064282)

From MaRDI portal
scientific article; zbMATH DE number 7776721
Language Label Description Also known as
English
On Herbrand's theorem
scientific article; zbMATH DE number 7776721

    Statements

    On Herbrand's theorem (English)
    0 references
    0 references
    12 December 2023
    0 references
    proof system
    0 references
    proof theory
    0 references
    sequent calculus
    0 references
    completeness theorem
    0 references
    existential quantifier
    0 references

    Identifiers