Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
All Editions of Finite-Model Theory and Its Applications By Moshe Y Vardi, S Weinstein, Erich Grädel, European Association for Theoretical Computer Science
