The naturality of natural deduction (Q6275830)

From MaRDI portal
scientific article; zbMATH DE number 7055417
Language Label Description Also known as
English
The naturality of natural deduction
scientific article; zbMATH DE number 7055417

    Statements

    22 July 2016
    0 references
    math.LO
    0 references
    0 references
    0 references
    0 references

    Identifiers