Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
scientific article

    Statements

    Identifiers