-
Anglický jazyk
Institution-independent Model Theory
Autor: Razvan Diaconescu
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
98.99 €
bežná cena: 109.99 €
O knihe
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.
- Vydavateľstvo: Birkhäuser Basel
- Rok vydania: 2008
- Formát: Paperback
- Rozmer: 244 x 170 mm
- Jazyk: Anglický jazyk
- ISBN: 9783764387075
