000			nam a22 7a 4500
999			_c29572 _d29572
008			190710b xxu||||| |||| 00| 0 eng d
020			_a9780521066365 _c(pbk)
082			_a511​.8 _bHOD
100			_aHodges, Wilfrid
245			_aModel theory
260			_aCambridge: _b Cambridge University Press, _c1993
300			_axiii, 772 p. : _bill. ; _c23 cm.
365			_b99.99 _cGBP _d00
490			_aEncyclopedia of mathematics and its applications ; _vv. 42
504			_aIncludes bibliographical references and index.
520			_aThis 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			_aMathematics
650			_aModel theory
942			_2ddc _cBK