应用逻辑中的数学问题 9787030646354 (英) D. M. 加贝(Dov M. Gabbay) 编;陈晓华等 译 B812;O1-0 科学出版社 2020-03 2020 2020 本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开,内容分上、下两篇,共13 章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇
微信公众账号
微信扫一扫加关注
发表评论 取消回复