Finite model theory and its applications

Responsibility
Erich Gradel ... [et al.].
Imprint
Berlin ; New York : Springer, c2007.
Physical description
xi, 437 p. : ill. ; 24 cm.
Series
Texts in theoretical computer science.
Librarian view | Catkey: 6906727