数理逻辑




作者:王兵山|编著:张强|编著
中图分类:数理化 ->数学
出版日期:1993-12
主题词:
分享到:



  
这个是隐藏的空行
内容简介

    本书是一本计算机专业的数理逻辑教材,书中系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。|本书部分页面字迹模糊不清,扫描效果不佳。|本书为研究生教材。
这个是隐藏的空行

最新评论


    法律声明 | 关于本站 | 意见反馈 | 联系我们

    © 2012 CKCEST ICP备案号:京ICP备14021735号-2