Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particula

Praise for the First Edition “This book will serve to greatly complement the growing number of texts dealing with mixed models, and I highly recommend includi

Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inhe