Alfred Tarski's elimination theory for real closed fields

Lou van den Dries

Research output: Contribution to journal › Article › peer-review

Online availability

@article{eedac6f3f041480fa4a8354a882a19f7,

title = "Alfred Tarski's elimination theory for real closed fields",

author = "{van den Dries}, Lou",

year = "1988",

doi = "10.2307/2274424",

language = "English (US)",

volume = "53",

pages = "7--19",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "1",

}