Bounded Variable Logics and Counting
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.
Der er i øjeblikket ingen priser på dette produkt.
Se evt historiske priser under Prisudvikling.
Se evt historiske priser under Prisudvikling.
-- Beklager, Historiske data er i øjeblikket ikke tilgængelige --