New models of bounded induction axioms (Q937904)

From MaRDI portal
scientific article
Language Label Description Also known as
English
New models of bounded induction axioms
scientific article

    Statements

    Identifiers