西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

应用逻辑中的数学问题/(英)D.M. 加贝，(俄)S.S. 贡恰罗夫，(美)M. 扎哈里扬谢夫编 陈晓华，刘张华等译

出版发行项:

北京:科学出版社,2020

ISBN及定价:

978-7-03-064635-4/CNY168.00

载体形态项:

438页;24cm

并列正题名:

Mathematical problems from applied logic: logics for the XXIst century

丛编项:

应用逻辑与逻辑应用研究前沿译丛

个人责任者:

(英) 加贝 (Gabbay, Dov M.) 编

个人责任者:

(俄) 贡恰罗夫 (Goncharov, Sergey) 编

个人责任者:

(美) 扎哈里扬谢夫 (Zakharyaschev, Michael) 编

个人次要责任者:

陈晓华 译

个人次要责任者:

刘张华 译

学科主题:

形式逻辑-关系-数学问题-研究

中图法分类号:

B812

中图法分类号:

O1-0

相关题名附注:

版权页英文题名：Mathematical problems from applied logic: logics for the XXIst century

提要文摘附注:

本书内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。

豆瓣简介：