Finite and Algorithmic Model Theory

by Javier Esparza, Christian Michaux, Charles Steinhorn