nam a22 7a 4500
28528
28528
180502b xxu||||| |||| 00| 0 eng d
9781402013317
511.3
MAR
Marcja, Annalisa
Guide to classical and modern model theory
Kluwer Academic Publishers
2003
Boston:
xi, 369 p.
ill.
25 cm.
EURO
104.99, Rs. 8724.67
Trends in logic, 19.
Since 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.
Logic
Philosophy
Algebra
Symbolic and mathematical
Quantifier Elimination
Toffalori, Carlo
ddc
BK
0
0
ddc
0
511_300000000000000_MAR
0
39228
DAIICT
DAIICT
2018-05-02
511.3 MAR
031478
2018-05-02
BK