عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L44 Vol.9
QA
9
.
A1L44
Vol
.
9
کتابخانه
محل استقرار
Bounded variable logics and counting : a study in finite models
Berlin
Springer-Verlag
c1997
ix, 183 p
Lecture notes in logic; 9
Bibliography: p. ]177[-179
ISBN 3540620370
Martin Otto
1
، Model theory
، Computational complexity
QA
9
.
A1L44
Vol
.
9
Otto, Martin, 1691-
AU
TI
SE
