Elements of finite model theory
Leonid, Libkin,
Elements of finite model theory - Berlin : Springer-Verlag, 2004. - xiv, 315p. : ill. ; 24 cm. - Texts in Theoretical Computer Science .
Includes bibliographical references and index.
9783642059483
Computers
Algorithms
Mathematics
ModelTtheory
Computer Science
Computer Software
Mathematical Logic
Symbolic Logic
Database Management
Formal Languages
Algorithm Analysis
Problem Complexity
511.34 / LEO
Elements of finite model theory - Berlin : Springer-Verlag, 2004. - xiv, 315p. : ill. ; 24 cm. - Texts in Theoretical Computer Science .
Includes bibliographical references and index.
9783642059483
Computers
Algorithms
Mathematics
ModelTtheory
Computer Science
Computer Software
Mathematical Logic
Symbolic Logic
Database Management
Formal Languages
Algorithm Analysis
Problem Complexity
511.34 / LEO