-
Anglický jazyk
Bounded Variable Logics and Counting
Autor: Martin Otto
This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.BRThe exposition... Viac o knihe
Na objednávku, dodanie 2-4 týždne
29.75 €
bežná cena: 35.00 €
O knihe
This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.BRThe exposition is largely self-contained, with introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.
- Vydavateľstvo: Springer
- Rok vydania: 1997
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540620372
