Finite Model Theory and Its Applications (Texts in Theoretical Computer Science)
A scholarly text on finite model theory and its applications in theoretical computer science. Provides in-depth concepts for researchers and students. Customer insight indicates interest in rigorous theoretical content
Highlights
- co-authored by noted researchers
- comprehensive finite model theory topics
- texts in theoretical computer science series
Pros
- rigorous theoretical coverage
- multi-author expertise
- broad applicability to CS theory
Cons
- narrow focus on theory
- limited customer feedback available