This monograph offers comprehensive treatment of a variety of results in the finite model theory. The exposition includes introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.

Скачать книгу бесплатно (djvu, 1.55 Mb)

---

Читать «Bounded variable logics and counting: A study in finite models»