Libkin, Leonid.

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.