Elements of Finite Model Theory innbundetEngelsk, 2004