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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Birkhauser Verlag AG |
Country of origin | Switzerland |
Series | Studies in Universal Logic |
Release date | May 2008 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2008 |
Authors | Razvan Diaconescu |
Dimensions | 240 x 170 x 20mm (L x W x T) |
Format | Paperback |
Pages | 376 |
Edition | 2008 ed. |
ISBN-13 | 978-3-7643-8707-5 |
Barcode | 9783764387075 |
Categories | |
LSN | 3-7643-8707-6 |