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) |