This volume is easily accessible to young people and mathematicians unfamiliar with logic. It gives a terse historical picture of Model Theory and introduces the latest developments in the area. It further provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. The book is for trainees and professional model theorists, and mathematicians working in Algebra and Geometry.
Publisher: Springer-Verlag New York Inc.
Number of pages: 371
Weight: 1200 g
Dimensions: 240 x 160 x 20 mm
Edition: 2003 ed.
You may also be interested in...
Please sign in to write a review