The book is currently out of stock
More about the book
Finite model theory merges mathematical logic and computer science, focusing on applications in database theory, computational complexity, and formal languages. It began with Trakhtenbrot's 1950 result on finite models' validity and evolved through key contributions from Fagin, Immerman, and Vardi, leading to significant insights in descriptive complexity and relational databases.
Book purchase
Elements of Finite Model Theory, Leonid Libkin
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.