Elements of finite model theory By Libkin, Leonid
2004 | 315 Pages | ISBN: 3642059481 | DJVU | 5 MB
2004 | 315 Pages | ISBN: 3642059481 | DJVU | 5 MB
Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.

