Alfred Tarski's elimination theory for real closed fields (Q3795644): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1812782
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: L. P. D. van den Dries / rank
 
Normal rank

Revision as of 14:43, 29 February 2024

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