Get this at ₹ 9178Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 8695Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Product Specifications
Book Summary
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.
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.