<P>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.</P>