内容预览
- 书名：初等模型论
- 作者： 姚宁远
- 格式：PDF
- 时间：2024-07-03
- 评分：
- ISBN：9787309140194
内容简介：
《初等模型论》从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
作者简介：
会员区
对不起，会员才可查看!
请返回首页注册登陆后查看！
初等模型论
内容简介：
《初等模型论》从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
作者简介：