初等模型论
Douban
ISBN: 9787309140194
Autor/in:
姚宁远
Verlag:
复旦大学出版社
Veröffentlichungsdatum: 2019
-11
Serie: 逻辑与形而上学教科书系列
Preis: CNY 36.00
姚宁远
Übersicht
本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。