Book offering a broad coverage of core topics of finite model theory including expressive power, zero-one laws, and descriptive complexity.

Presents a definition of model theory, its basic notions, consequence, and expressive strength.