书籍 数理逻辑与机器证明的封面

数理逻辑与机器证明

陆钟万著

出版社

北京:科学出版社

出版时间

1983

ISBN

7030019199

标注页数

186 页

PDF页数

193 页

书籍介绍
在线购买PDF电子书