Maarten Marx · 5 obras en el catálogoObrasFinite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)Multi-Dimensional Modal LogicFinite Model Theory and Its ApplicationsArrow logic and multi-modal logicMulti-dimensional modal logic1997