经典逻辑与直觉主义逻辑 冯棉 上海人民出版社 出版时间：1989 出版社：上海人民出版社 作者：冯棉 Tag标签：无 内容概要 本书内容廉顾经典逻辑直觉主义逻辑两方面,并且在最后一节通过歌德尔变换揭示两者间的联系。 图书封面 图书标签Tags 无 广告 下载页面 经典逻辑与直觉主义逻辑 PDF格式下载
