Switch to: Citations

Add references

You must login to add references.
  1. Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142. [REVIEW]M. A. Taitslen - 1960 - Journal of Symbolic Logic 25 (3):273-274.
  • Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
  • C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102. [REVIEW]C. Spector - 1969 - Journal of Symbolic Logic 34 (2):295-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   81 citations