Finite model theory and its applications
Erich Grädel ... [et al.].
Berlin ; New York : Springer, ©2007.
xi, 437 págs. : ilustraciones ; 24 cm.
Serie: Texts in theoretical computer science, 1862-4499
ISBN: 9783540004288 (hardcover : alk. paper)
Incluye referencias bibliográficas e índice.