This is a study of the theory of models with truth values in a compact Hausdorff topological space.

This first-year calculus book is centered around the use of infinitesimals, an approach largely neglected until recently for reasons of mathematical rigor. It exposes students to the intuition that originally led to the calculus, simplifying their grasp of the central concepts of derivatives and integrals. The author also teaches the traditional approach, giving students the benefits of both methods.
Chapters 1 through 4 employ infinitesimals to quickly develop the basic concepts of derivatives, continuity, and integrals. Chapter 5 introduces the traditional limit concept, using approximation problems as the motivation. Later chapters develop transcendental functions, series, vectors, partial derivatives, and multiple integrals. The theory differs from traditional courses, but the notation and methods for solving practical problems are the same. The text suggests a variety of applications to both natural and social sciences.

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods -- including classification theory and nonstandard analysis -- the third edition added entirely new sections, exercises, and references.
Each chapter introduces an individual method and discusses specific applications. Basic methods of constructing models include constants, elementary chains, Skolem functions, indiscernibles, ultraproducts, and special models. The final chapters present more advanced topics that feature a combination of several methods. This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory.