Elements of finite model theory

Descrição: Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and f... Veja mais