Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
    Download  
     
    Export citation  
     
    Bookmark   104 citations