Yde Venema · 4 obras en el catálogoObrasFinite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)Finite Model Theory and Its ApplicationsModal logicModal Logic