|
|||||
|
|
| 推荐五本世界公认的逻辑学著作 | |
| 引用本文： | 素沁.推荐五本世界公认的逻辑学著作[J].哲学动态,1989(2). |
| 作者姓名： | 素沁 |
| 摘 要： | (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory 2nd ed]),本书以Zermelo-Fraenke的理论为线索全面介绍公理化集合的Godel和Cohen相容性和独立性理论,用这种论述方式介绍,读者能较容易地掌握公理化集合论的基本理论以及其他相关结果,并进入到80年代的许多新的前沿课题。本书1971年初版,1982年第2版对初版作了全面刷新,增添了许多新内容,如Silver机、证明可构造性公理化相容性的结构设计等。本书可作为数理逻辑专业研究生一个学期集合论课程的标准教材。 (2) G·Takeuti和W.M.Zaring的《公理化集合论》(Axiomatic Set Theory)。本书是《公理化集合论导引》一 |
| 本文献已被 CNKI 等数据库收录！ | |