Yde Venema

3 books • 3 series

Jan 1, 2007
Cover of Finite Model Theory and Its Applications

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS)

Jun 28, 2001
Cover of Modal Logic

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Nov 30, 1996
Cover of Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic (Applied Logic, #4)