应用逻辑与逻辑应用研究前沿译丛 应用逻辑中的数学问题作者:(英)D.M.加贝(Dov M. Gabbay)等编;陈晓华等译 出版时间:2020年版丛编项: 应用逻辑与逻辑应用研究前沿译丛内容简介 《应用逻辑中的数学问题》围绕“逻辑学中重要、突出、紧迫的问题是什么”这一个主题展开,内容分上、下两篇,共13 章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算... 上一篇:应用高等数学 下 俞礼钧,王裕民主编 2008年版下一篇:应用工程数学 朱泰英,刘三明,郭鹏 2019年版