Switch to: References

Add citations

You must login to add citations.
  1. Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Alfred Tarski and decidable theories.John Doner & Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):20-35.
    Download  
     
    Export citation  
     
    Bookmark   4 citations