Institution-independent Model Theory Paperback / softback
Part of the Studies in Universal Logic series
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.
- Format: Paperback / softback
- Pages: 376 pages, XI, 376 p.
- Publisher: Birkhauser Verlag AG
- Publication Date: 16/05/2008
- Category: Mathematical logic
- ISBN: 9783764387075
- PDF from £67.58