عنوان
پدید آورنده
موضوع
رده
QA 9.7 .L53 2004
QA
9
.
7
.
L53
2004
کتابخانه
محل استقرار
English
Elements of finite model theory
Berlin ; New York, NY
Springer
c2004
xiv, 315 p.: ill.; 24 cm
Texts in theoretical computer science
Includes bibliographical references )p. ]291[-303( and indexes.
Leonid Libkin
1
، Model theory
511
.
3/4
QA
9
.
7
.
L53
2004
Libkin, Leonid.
AU
TI
SE
