Title: Finite Model Theory and Its Applications
Subjects: Logic design, Symbolic and mathematical Logic, Computer science, Software engineering, Database management, Model theory, Finite model theory, Computational complexity, Constraint databases