000			nam a22 7a 4500
999			_c28528 _d28528
008			180502b xxu||||| |||| 00| 0 eng d
020			_a9781402013317
082			_a511.3 _bMAR
100			_aMarcja, Annalisa
245			_aGuide to classical and modern model theory
260			_bKluwer Academic Publishers _c2003 _aBoston:
300			_axi, 369 p. _bill. _c25 cm.
365			_aEURO _b104.99, Rs. 8724.67
440			_aTrends in logic, 19.
520			_aSince its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
650			_aLogic
650			_aPhilosophy
650			_aAlgebra
650			_aSymbolic and mathematical
650			_aQuantifier Elimination
700			_aToffalori, Carlo
942			_2ddc _cBK