000 -LEADER |
fixed length control field |
nam a22 7a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
190710b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780521066365 |
Terms of availability |
(pbk) |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.8 |
Item number |
HOD |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Hodges, Wilfrid |
245 ## - TITLE STATEMENT |
Title |
Model theory |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Cambridge: |
Name of publisher, distributor, etc |
Cambridge University Press, |
Date of publication, distribution, etc |
1993 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xiii, 772 p. : |
Other physical details |
ill. ; |
Dimensions |
23 cm. |
365 ## - TRADE PRICE |
Price amount |
99.99 |
Price type code |
GBP |
Unit of pricing |
00 |
490 ## - SERIES STATEMENT |
Series statement |
Encyclopedia of mathematics and its applications ; |
Volume number/sequential designation |
v. 42 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematics |
|
Topical term or geographic name as entry element |
Model theory |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |