Institution-independent Model Theory

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.