عنوان
پدید آورنده
موضوع
رده
QA,9.7,.O88,1997
QA
,
9
.
7
,.
O88
,
1997
کتابخانه
محل استقرار
alk. paper)
3540620370 (softcover
IR
ebook29198
انگلیسی
IR
Bounded variable logics and counting
[Electronic Resource]
:a study in finite models
/ Martin Otto
Berlin ;New York
: Springer,
, c1997.
ix, 183 p.
: ; 24 cm.
(Lecture notes in logic
; 9)
e
Includes bibliographical references (p. [177]-179) and index.
Model theory.
Computational complexity.
511
.
3
,
3
QA
,
9
.
7
,.
O88
,
1997
Otto, Martin, 1961
ایران
511.3,3
3540620370.pdf
0
old catalog
e
BL
1
a
Y
