Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
    Download  
     
    Export citation  
     
    Bookmark   228 citations  
  • (2 other versions)The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
    Download  
     
    Export citation  
     
    Bookmark   57 citations