@BOOK{ Book!D - 90097325,
AUTHOR = " by Leonid Libkin.",
TITLE = "Elements of finite model theory",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Model theory.",
URL = "/book/90097325/Elements-of-finite-model-theory/"}