| 李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师，中山大学逻辑与认知研究所专职研究员。主要著作有《现代逻辑若干问题研究》等。 |
| 序 第一章 基本概念 §1 集合论的形式语言 §2 集合论的公理系统 §3 布尔代数 §4 一些常用的概念 第二章 自然模型 §1 zfc的自然模型v及其一些基本性质 §2 gb的自然模型∑及其一些基本性质 §3 cog的自然模型人及其一些基本性质 §4 acg的自然模型q及其一些基本性质 第三章 含有原子的自然模型 §1 zfa的自然模型及其一些基本性质 §2 gba的自然模型及其一些基本性质 §3 coga的自然模型及其一些基本性质 |
内容加载中，请稍后...
商品评论（0条）