Switch to: Citations

Add references

You must login to add references.
  1. A Guide to Classical and Modern Model Theory.Annalisa Marcja & Carlo Toffalori - 2003 - Dordrecht, Netherland: Springer.
    This volume is easily accessible to young people and mathematicians unfamiliar with logic. It gives a terse historical picture of Model Theory and introduces the latest developments in the area. It further provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. The book is for trainees and professional model theorists, and mathematicians working in Algebra and Geometry.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
    This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Download  
     
    Export citation  
     
    Bookmark   175 citations  
  • Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • [Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
    Download  
     
    Export citation  
     
    Bookmark   71 citations