机读格式显示(MARC)
- 010 __ |a 978-7-309-14019-4 |d CNY36.00
- 099 __ |a CAL 012019157029
- 100 __ |a 20191106d2018 em y0chiy50 ea
- 200 1_ |a 初等模型论 |A chu deng mo xing lun |f 姚宁远著
- 210 __ |a 上海 |c 复旦大学出版社 |d 2018
- 225 2_ |a 逻辑与形而上学教科书系列 |A luo ji yu xing er shang xue jiao ke shu xi lie
- 320 __ |a 有书目 (第231-232页) 和索引
- 330 __ |a 本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
- 410 _0 |1 2001^ |a 逻辑与形而上学教科书系列
- 606 0_ |a 模型论 |A mo xing lun |x 高等学校 |j 教材
- 701 _0 |a 姚宁远 |A yao ning yuan |4 著
- 801 _0 |a CN |b SJT |c 20191123
- 905 __ |a XATU |d O141.4/70