Gödel's natural deduction (Q1744008)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Gödel's natural deduction
scientific article

    Statements

    Gödel's natural deduction (English)
    0 references
    0 references
    0 references
    16 April 2018
    0 references
    deduction
    0 references
    natural deduction
    0 references
    sequent
    0 references
    propositional logic
    0 references
    general proof theory
    0 references

    Identifiers

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