Viac o knihe
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.
Nákup knihy
Model Theory, Chen Chung Chang, H. Jerome Keisler
- Jazyk
- Rok vydania
- 1990
- product-detail.submit-box.info.binding
- (pevná)
Platobné metódy
Tu nám chýba tvoja recenzia
- Titul
- Model Theory
- Jazyk
- anglicky
- Vydavateľ
- Elsevier
- Rok vydania
- 1990
- Väzba
- pevná
- ISBN10
- 0444880542
- ISBN13
- 9780444880543
- Série
- Hodnotenie
- 3,85 z 5
- Anotácia
- Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.