推荐数理逻辑导论的书单

ISBN：暂无ISBN
作者：莫绍揆 著
出版社：上海科学技术出版社
出版时间：1965-4
页数：368
价格：暂无价格
纸张：暂无纸张
装帧：平装
开本：暂无开本
语言：暂无语言
TAG：计算机科学 / 人工智能 / 形式逻辑 / 逻辑学基础 / 数理逻辑 / 证明理论 / 演绎推理
豆瓣评分：暂无豆瓣评分