Venema, Yde books & textbook
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
Blackburn, Patrick Rijke, Maarten de Venema, Yde
Cambridge University Press /2002-09-30 Paperback / 578 Pages
isbn-10: 0521527147 / isbn-13: 9780521527149
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott
Springer /2007-04-24 Hardcover / 448 Pages
isbn-10: 3540004289 / isbn-13: 9783540004288
Multi-Dimensional Modal Logic (Applied Logic Series)
Springer /2012-10-06 Paperback / 252 Pages
isbn-10: 9401064016 / isbn-13: 9789401064019
Logic in Action
Johan: Paul Dekkar; Jan Van Eijk; Maarten De Rijke; Yde Venema Van Benthem
Universiteit Van Amsterdam /2001-01-01 Paperback
isbn-10: 9057760770 / isbn-13: 9789057760778
Multi-Dimensional Modal Logic (Applied Logic Series, 4)
Springer /1996-11-30 Hardcover / 252 Pages
isbn-10: 079234345X / isbn-13: 9780792343455
Modal Logic and Process Algebra (Volume 53) (Lecture Notes)
Ponse, Alban de Rijke, Maarten Venema, Yde
Center for the Study of Language and Inf /1995-06-01 Paperback / 326 Pages
isbn-10: 1881526968 / isbn-13: 9781881526964
