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