《初等模型论》从一阶 逻辑 的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
本站不制作和存储任何资源，仅供个人学习用途，版权归原著作权人所有，如涉版权问题请留言反馈！
上一篇坚
下一篇现代西方哲学论著选读
发表评论
回复评论: 取消回复
![【小说】《双轨》（校对版全本）作者：时玖远 [epub + mobi + azw3 + txt格式] [3.4MB]](/upload/article/20251213/232758693d85fe050a1W8AyEe.jpg)
![[女性有更高的性欲吗][WEB-MKV...](/upload/rand_pic/2-3.jpg)
![[孤舟/与敌共眠][全36集][WEB-...](/upload/rand_pic/2-6.jpg)
评论列表
发表评论