收起
数理逻辑




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



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

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

最新评论