汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
周林，龙文，韩缨主编2013 年出版211 页ISBN：9787308110020
2006年年初，党中央在全国科学技术大会上提出，中国未来15年科技发展的目标是，2020年建成创新型国家，使科技发展成为经济社会发展的有力支撑。自主创新既要从传统知识当中吸收营养，也要保护创新的源，才会有可持续发...
蔡龙文主编2007 年出版197 页ISBN：7810798480
本书含“专项辅导与训练教程”和“模拟试题集（A级）”两部分，内容全面，指导性和针对性强，对参加高等学校英语应用能力考试的学生有一定的帮助。...
