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.