读过"数理逻辑与机器证明"的豆瓣成员

2人参与评价  · · · · · ·

力荐
50.0%
推荐
0.0%
还行
50.0%
较差
0.0%
很差
0.0%

每周参与评价的人数(最近3个月内)

2人读过 0人在读 15人想读
数理逻辑与机器证明
作者: 陆钟万
副标题: 计算机科学丛书
isbn: 9787030019196
书名: 数理逻辑与机器证明
页数: 186
定价: 5.00元
出版社: 科学出版社
装帧: 32开平装
出版年: 1983年11月

去"数理逻辑与机器证明"的页面