Finite Model Theory and Its ApplicationsErich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein · First published 2007 · Latest edition 2014Open the Tome
Logic for programming artificial intelligence and reasoningMoshe Y. Vardi, Andrei Voronkov · First published 2003Open the Tome
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. Vardi · First published 2003Open the Tome
