Switch to: Citations

Add references

You must login to add references.
  1. Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.
    Download  
     
    Export citation  
     
    Bookmark   13 citations