عنوان
پدید آورنده
موضوع
رده
QA 9.7 .E22F5 2006
QA
9
.
7
.
E22F5
2006
کتابخانه
محل استقرار
Finite model theory
Berlin
Springer-Verlag
c2006
xi, 360 p.: ill
Springer monographs in mathematics
Bibliography: p.339-347
ISBN: 3540287876
Heinz-Dieter Ebbinghaus, Jorg Flum
1
، Model theory
QA
9
.
7
.
E22F5
2006
Ebbinghaus, Heinz-Dieter, 9391-
AU
AU Flum, Jorg
TI
SE
