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.
