\(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\text{NP}\not={co}\)-NP and models of arithmetic
scientific article

    Statements

    Identifiers