Elements of Finite Model Theory sidottuEnglanti, 2004