Alfred Tarski's elimination theory for real closed fields (Q3795644)

From MaRDI portal
Revision as of 12:44, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Alfred Tarski's elimination theory for real closed fields
scientific article

    Statements

    Alfred Tarski's elimination theory for real closed fields (English)
    0 references
    1988
    0 references
    real closed fields
    0 references
    Tarski
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references