剧情简介：This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups ...(展开全部)
作者：Wilfrid Hodges
出版社：Cambridge University Press
ISBN：9780521587136
