初等模型论
- 书名:初等模型论
- 作者: 姚宁远
- 格式:PDF
- 时间:2023-09-14
- 评分:
- ISBN:9787309140194
内容简介:
《初等模型论》从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
作者简介:
下载地址:
标签:
文章链接:https://www.dalanmei.com/book-content-32580.html(转载时请注明本文出处及文章链接)
- 上一篇: 坚
- 下一篇: 爱因斯坦还是对的吗?
猜你喜欢:
-
2020-06-13102
-
2020-06-13118
-
2020-06-13205
-
2020-06-1381
-
2020-06-13119
-
2020-06-13125
-
2020-06-14134
-
2020-06-14139