Bounded variable logics and counting: A study in finite models
Martin Otto
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
