Switch to: Citations

Add references

You must login to add references.
  1. A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Direct download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.