Institution-independent Model Theory
| Autor: | Razvan Diaconescu |
|---|---|
| EAN: | 9783764387082 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 01.08.2008 |
| Kategorie: | |
| Schlagworte: | Computer Institution theory Model theory computer science fundamental theorem logic programming proof ultraproduct |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel