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.
This website uses cookies to ensure you have the best experience. By continuing to use this site, you consent to our Privacy policy. You can disable cookies at any time, by changing your browser settings.