类型：综合性科技出版社
成立时间：1956年初
出版社特色：
上海科学技术出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
数理逻辑导论书籍相关信息
内容简介：
本书是数理逻辑的一本入门书，根据理论与实际相结合的原则，力求写得详细易懂，使初学者易于接受．在很多地方，作者对各派学说进行了分析，并提出了自己的看法，供读者讨论研究．
本书共分三篇．第一篇讨论命题演算，第二、三两篇讨论谓词演算，合计七章．
本书可供大学数学系数理逻辑专门化师生及有关工作者参考．
全格式电子版 - 免费下载