Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it

A coherent introduction to current trends in model theory Contains articles by some of the most influential logicians of the last hundred years. No other public

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to curren

Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric. Applicati

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematic