Towards a clausal analysis of cut-elimination (Q2457341)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards a clausal analysis of cut-elimination
scientific article

    Statements