Model theory /
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 ord...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York : New York, NY, USA :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1990.
|
Edición: | 3rd ed. |
Colección: | Studies in logic and the foundations of mathematics ;
v. 73. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Sumario: | 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. |
---|---|
Descripción Física: | 1 online resource (xvi, 650 pages) |
Bibliografía: | Includes bibliographical references (pages 623-640). |
ISBN: | 9780444880543 0444880542 9781435687004 1435687000 9780080880075 008088007X |
Acceso: | Legal Deposit; |