عنوان
پدید آورنده
موضوع
رده
QA9.7 B954 2011
QA9
.
7
B954
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642059481
(Number (ISBN
9783642059483
NATIONAL BIBLIOGRAPHY NUMBER
Number
b549745
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Elements of finite model theory
General Material Designation
[Book]
First Statement of Responsibility
by Leonid Libkin.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 volume : illustrations ; 24 cm
SERIES
Series Title
Texts in theoretical computer science. An EATCS series
TOPICAL NAME USED AS SUBJECT
Model theory.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
7
Book number
B954
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Leonid Libkin.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Leonid Libkin
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
