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 - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • (1 other version)Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays - 1971 - Dialectica 25 (3‐4):171-195.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Annals of Mathematical Logic: Announcement of a New Periodical.[author unknown] - 1969 - Journal of Symbolic Logic 34 (3):532-532.
    Download  
     
    Export citation  
     
    Bookmark   18 citations