《数理逻辑与机器证明》求取 ⇩

《数理逻辑与机器证明》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

辩证逻辑原理(1962 PDF版)
辩证逻辑原理
1962 北京:生活·读书·新知三联书店
证明与反驳  数学发现的逻辑(1987 PDF版)
证明与反驳 数学发现的逻辑
1987
逻辑与数学逻辑论(民国16.12 PDF版)
逻辑与数学逻辑论
民国16.12 商务印书馆
数理逻辑(1986.11 PDF版)
数理逻辑
1986.11 华东师范大学出版社
数理逻辑(1992 PDF版)
数理逻辑
1992 广州:华南理工大学出版社
数理逻辑(1990 PDF版)
数理逻辑
1990 上海:华东化工学院出版社
外国档案管理参考资料(1987 PDF版)
外国档案管理参考资料
1987 北京:档案出版社
数理辩证逻辑导论(1995 PDF版)
数理辩证逻辑导论
1995 北京:中国人民大学出版社
数理逻辑(1984 PDF版)
数理逻辑
1984 北京:高等教育出版社
数理逻辑(1990 PDF版)
数理逻辑
1990 杭州:浙江大学出版社
简明数理逻辑基础(1985 PDF版)
简明数理逻辑基础
1985 福州:福建人民出版社
数学逻辑与推理(1984 PDF版)
数学逻辑与推理
1984 北京:科学出版社
证明与反驳  数学发现的逻辑(1987 PDF版)
证明与反驳 数学发现的逻辑
1987 上海:上海译文出版社
定理机器证明(1987 PDF版)
定理机器证明
1987 北京:科学出版社
数理逻辑与机器证明(1983 PDF版)
数理逻辑与机器证明
1983 北京:科学出版社