عنوان
پدید آورنده
موضوع
رده
QA 9.7 .F562
QA
9
.
7
.
F562
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite and algorithmic model theory
First Statement of Responsibility
edited by Javier Esparza, Christian Michaux, Charles Steinhorn
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge Univ. Press
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 341 p.: ill
SERIES
Other Title Information
London Mathematical Society lecture note series; 973
GENERAL NOTES
Text of Note
"Intended for researchers and graduate students
Text of Note
Includes index
Text of Note
ISBN: 9780521718202
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Finite model theory
Entry Element
، Computer science -- Mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
7
.
F562
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Esparza, Javier
AU Michaux, Christian
AU Steinhorn, Charles
SE
