Yde Venema

Identifiers

Open LibraryOL2766534A

Top Subjects

Mathematics (3)
Logic (3)
Science/Mathematics (3)
Mathematical theory of computation (2)
Modality (Logic) (2)
General (2)
Computers / Programming / Software Development (2)

Books by Yde Venema

Total count: 5

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press2001-06-28
Modal LogicNew Ed edition

Cambridge University Press2002-11-15
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Springer2007-06-04
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)1 edition

Springer2007-06-11
Finite Model Theory and Its Applications

Springer2014-10-30