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

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

Institution-independent Model Theory (Studies in Universal Logic) 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




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.