• $72.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
1990
June 12
LANGUAGE
EN
English
LENGTH
649
Pages
PUBLISHER
Elsevier Science
SELLER
Elsevier Ltd.
SIZE
14.7
MB

More Books by C.C. Chang & H.J. Keisler