Elements of Finite Model Theory. - Libkin,Leonid (Berlin;Springer,2004.)
includes index and references.
Keywords: physics