Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)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  
  • Tense Logic and the Theory of Linear Order.Hans Kamp - 1968 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   34 citations