剧情简介:Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)
作者:C·C·Chang
出版社:North Holland
ISBN:9780444880543