Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by JoelSpencer (Author), PhokionG.Kolaitis (Author), Leonid Libkin (Author), Maarten Marx (Author), YdeVenema (Author), Moshe Y . Vardi (Author), ErichGrädel (Author), ScottWeinstein (Author)

• New

  Hardcover
  2007

  $117.14

  Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory.