Bases for first-order theories and subtheories (Q3843604)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bases for first-order theories and subtheories
scientific article

    Statements

    Identifiers