Switch to: Citations

Add references

You must login to add references.
  1. Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Download  
     
    Export citation  
     
    Bookmark   179 citations  
  • Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
    Download  
     
    Export citation  
     
    Bookmark   58 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-68866f4b87-7qn45 uwo