Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Finite model theory
پدید آورنده
Ebbinghaus, Heinz-Dieter
موضوع
، Model theory
رده
QA
9
.
7
.
E23
1999
کتابخانه
Central Library and Documentation Center
محل استقرار
استان:
Kerman
ـ شهر:
Kerman
تماس با کتابخانه :
03433257204
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite model theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 360 p. ;24 cm.
SERIES
Other Title Information
Perspectives in mathematical logic, 2710-1466
GENERAL NOTES
Text of Note
Includes bibliographical references )p. ]339[-347( and index.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Heinz-Dieter Ebbinghaus, Jorg Flum
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Model theory
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
7
.
E23
1999
PERSONAL NAME - PRIMARY RESPONSIBILITY
Dates
9391-
Entry Element
Ebbinghaus, Heinz-Dieter
Relator Code
AU
AU Flum, Jorg.
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal