初等模型论/姚宁远/逻辑与形而上学教科书系列

本书特色

[

本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

]

封面

书名:初等模型论/姚宁远/逻辑与形而上学教科书系列

作者:姚宁远

页数:0

定价:¥36.0

出版社:复旦大学出版社

出版日期:2018-11-01

ISBN:9787309140194

PDF电子书大小:83MB 高清扫描完整版