Consistency Without Cut Elimination (Q6472227)

From MaRDI portal
scientific article; zbMATH DE number 900012220
Language Label Description Also known as
English
Consistency Without Cut Elimination
scientific article; zbMATH DE number 900012220

    Statements

    publication date
    24 October 2002
    0 references
    arXiv classification
    math.LO
    0 references
    author
    Kai Brünnler
    0 references
    Alessio Guglielmi
    0 references

    Identifiers

    arXiv ID
    math/0210387
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6472227&oldid=36174385"
    Powered by MediaWiki