Institution-independent Model Theory (Studies in Universal Logic)

by RazvanDiaconescu (Author)

• New

  Paperback
  2008

  $94.51

  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.