Finite and Algorithmic Model Theory by Charles Steinhorn | Menrva Books