• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Institution-Independent Model Theory

Institution-Independent Model Theory

Paperback

Series: Studies in Universal Logic

FictionAlgebraGeneral Computers

Currently unavailable to order

ISBN10: 3764387076
ISBN13: 9783764387075
Publisher: Springer Nature
Published: May 16 2008
Pages: 376
Weight: 1.70
Height: 0.80 Width: 6.60 Depth: 9.30
Language: English

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.

Also in

Fiction