A Guide to Classical and Modern Model Theory
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.
| Author | Annalisa Marcja |
| Publisher | Springer Science & Business Media |
| Release Date | 2012-09-10 |
| ISBN | 9400708122 |
| Pages | 371 pages |
| Rating | 4/5 (29 users) |
