Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Download  
     
    Export citation  
     
    Bookmark   72 citations