系统升级维护中心，您也可以扫描下方二维码，获取最新书号查询入口！
扫一扫：立即查询书号
应用逻辑中的数学问题 - 的书号查询结果
- 书名：应用逻辑中的数学问题
- cip：2020041105
- isbn：9787030646354
- 作者： (英) D.M.加贝 (Dov M. Gabbay) , 等编
- 出版社：科学出版社
- 出版地：北京
- 出版时间：2020.3
- 出版价格：128.0
本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开，内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。
[来源:书号查询官网]
免责声明： 本网转载稿件均不代表书号查询官网（www.shuhaochaxun.com）的观点，不保证内容的准确性、可靠性或完整性。如涉及版权、稿酬等问题，请速来电或来函联系。
