应用逻辑与逻辑应用研究前沿译丛 应用逻辑中的数学问题作者：(英)D.M.加贝(Dov M. Gabbay)等编；陈晓华等译 出版时间：2020年版丛编项： 应用逻辑与逻辑应用研究前沿译丛内容简介　　《应用逻辑中的数学问题》围绕“逻辑学中重要、突出、紧迫的问题是什么”这一个主题展开，内容分上、下两篇，共13 章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算...

上一篇：应用高等数学 下 俞礼钧，王裕民主编 2008年版
下一篇：应用工程数学 朱泰英，刘三明，郭鹏 2019年版