Recursive Model Theory

The substantially revised fourth edition of a widely used text, offering both an introduction to recursive methods and advanced material, mixing tools and sampl

Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas

This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models