Non abbiamo ancora una biografia di Yde Venema.
Pubblicato in Inglese
Modal logic
2001
Finite Model Theory and Its Applications
2014
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
2007
Otium
