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   71 citations  
  • (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   78 citations  
  • Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • On the semantics of the Henkin quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Infinistic Methods.L. Henkin - 1961 - Pergamon Press.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Relative strength of Malitz quantifiers.Steven Garavaglia - 1978 - Notre Dame Journal of Formal Logic 19 (3):495-503.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The relative expressive power of some logics extending first-order logic.John Cowles - 1979 - Journal of Symbolic Logic 44 (2):129-146.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6f97f49787-kd5kv uwo