数理逻辑与机器证明

作者: 陆钟万
出版社: 科学出版社
副标题: 计算机科学丛书
出版年: 1983年11月
页数: 186
定价: 5.00元
装帧: 32开平装
ISBN: 9787030019196

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载
多本比价,批量购买

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

AAAA森眠菌
AAAA森眠菌
2015年9月8日 想读

tags:数理逻辑

Tyrus
Tyrus
2015年3月26日 想读


> 2人读过

> 11人想读

二手市场

订阅关于数理逻辑与机器证明的评论:
feed: rss 2.0