No label defined (Q4520768)

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

    Statements

    0 references
    0 references
    27 February 2001
    0 references
    0 references
    proof search
    0 references
    classical logic
    0 references
    intuitionistic logic
    0 references
    modal logics
    0 references
    linear logic
    0 references
    0 references
    0 references
    0 references
    0 references