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
Modal LogicPatrick Blackburn, Maarten de Rijke, Yde Venema · First published 2001 · Latest edition 2002Open the Tome
Logic in ActionJohan: Paul Dekkar; Jan Van Eijk; Maarten De Rijke; Yde Venema Van Benthem · First published 2001Open the Tome
