# Institution-independent Model Theory (Studies in Universal Logic) by - pdf epub fb2

**Author:**-

**Title:**Institution-independent Model Theory (Studies in Universal Logic)

**ISBN:**3764387076

**ISBN13:**978-3764387075

**Other Formats:**lrf lrf mobi doc

**Pages:**376 pages

**Publisher:**Birkhäuser; 2008 edition (June 23, 2008)

**Language:**English

**Category:**Science & Math

**Size PDF version:**1249 kb

**Size EPUB version:**1302 kb

**Subcategory:**Mathematics

### FREE Download links

**1249 downloads at 24 mb/s**

PDF version

**1302 downloads at 22 mb/s**

FB2 version

**1291 downloads at 19 mb/s**

EPUB version

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.