No label defined (Q4499227)

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

    Statements

    publication date
    4 March 2001
    0 references
    zbMATH Keywords
    type theories
    0 references
    Gentzen's sequent calculus
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    18A15
    0 references
    03B15
    0 references
    68N18
    0 references
    zbMATH DE Number
    1497809
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4499227&oldid=28678972"
    Powered by MediaWiki