Institution-independent Model Theory
96,29 €
inkl. 7% MwSt. und
ggf. zzgl. Versand
<P>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.</P>
- Autor: Razvan Diaconescu
- Seitenzahl: 376
- Format: PDF
- DRM: social-drm (ohne Kopierschutz)
- Erscheinungsdatum: 01.08.2008
- Herausgeber: BIRKHÄUSER