Alfred Tarski's elimination theory for real closed fields

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)7-19
Number of pages13
JournalJournal of Symbolic Logic
Volume53
Issue number1
DOIs
StatePublished - 1988

Cite this