Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Chang, Chen Chung, 1927-
Otros Autores: Keisler, H. Jerome
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
Descripción
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;