Cover is for reference only

Please scan the QR code to borrow online

点击进行网借

应用逻辑中的数学问题

Saved in:
Bibliographic Details
Main Authors: 英 加贝 Gabbay, Dov M. ((英)D.M.加贝，(俄)S.S.贡恰罗夫，(美)M.扎哈里扬谢夫编); 俄 贡恰罗夫 Goncharov, Sergey; 美 扎哈里扬谢夫 Zakharyaschev, Michael
Group Author: 陈晓华 (译); 刘张华 (译)
Published: 科学出版社
Publisher Address: 北京
Publication Dates: 2020
Literature type: Book
Language: Chinese
Series: 应用逻辑与逻辑应用研究前沿译丛
Subjects:
形式逻辑 > 关系 > 数学问题 > 研究
Carrier Form: 438页: 图 ; 24cm
ISBN: 978-7-03-064635-4
Index Number: B812
CLC: B812
O1-0
Call Number: B812/4078
Contents: 本书围绕“逻辑学中重要、突出、紧迫的问题是什么”这一个主题展开，内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。

Related Book Recommendations