Elements of finite model theory /
Leonid Libkin.
- Berlin ; Springer, c2010.
- xiv, 315 p. : il. ; 24 cm.
- Texts in theoretical computer science EATCS series .
Incluye referencias bibliográficas (p. [291]-303) e índice.
9783642059483
Lógica matemática. Computación por dispositivos abstractos. Administración de bases de datos. Lógica y significado de programas. Teoría de modelos. Mathematical logic. Computation by abstractc devices. Database management. Logics and meanings of programs. Model theory.