Switch to: Citations

Add references

You must login to add references.
  1. Finite quantifier equivalence.Carol Karp - 1965 - Journal of Symbolic Logic 36 (1):407--412.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.
    Download  
     
    Export citation  
     
    Bookmark   24 citations