-
本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应...
大小：7.04MB | 2020-05-17 00:30:02 -
大小：0 | 2019-01-13 17:07:09
Ta的上传资源列表
本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应...