共找到 1 项 “孙明湘著” 相关结果
数理逻辑
作者： 孙明湘著
出版社：中南大学出版社,2004
简介：本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
中南大学出版社,2004
