数理逻辑与集合论-封面
数理逻辑与集合论-书签
【作 者】石纯一，王家廞编著
【丛书名】清华大学计算机系列教材
【形态项】 224
【出版项】 北京：清华大学出版社 , 2000.12
【ISBN号】7-302-04042-7
【中图法分类号】O141;O144
【原书定价】18.00
【主题词】数理逻辑(学科: 高等学校) 集论(学科: 高等学校) 数理逻辑 集论
【参考文献格式】 石纯一，王家廞编著. 数理逻辑与集合论. 北京：清华大学出版社, 2000.12.
内容提要:
清华大学计算机系列教材:本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
请先 ！