雷磊著2016 年出版405 页ISBN：9787562069836
本书研究规范理论与逻辑理论在法律论证中的运用及其限度。它主要包括这样一些问题：规范是不是逻辑规训的对象？假如是的话，是否存在独特的规范逻辑（法律逻辑）？如果存在的话，那么规范逻辑包括哪些类型？从这些不......
蒋宗礼，姜守旭编著2007 年出版348 页ISBN：7302149704
本书介绍形式语言与自动机理论，含有正则语言，上下文语言的文法，识别模型的性质等。
张兴元，王元元，宋丽华编著2011 年出版270 页ISBN：9787030324108
本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、礼仪民俗文书、申论等各文体的概念特点、分类情况、使用范围、篇章结构及写作方法、写作要求，并精...
张浩著2003 年出版220 页ISBN：7539811498
本书为作者十年来的现代水墨创作日记，真实记录了画家对传统水墨画的反思，对现代水墨画中的精神追求和艺术形式的表现方式。
胡龙彪著2009 年出版329 页ISBN：9787802068384
本书对中世纪主要逻辑问题、哲学问题、神学问题进行了细致的技术分析并使其紧密地结合起来，探索了它们对现代逻辑的影响，为相关逻辑问题在未来的研究模式提供了借鉴。...
李未著2008 年出版255 页ISBN：9787030200969
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
杜国平编著2006 年出版266 页ISBN：7040189526
本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论，命题演算和一阶谓词演算以及20世纪20年代至今发展起来的非经典逻辑的主要分支（模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑）。在本教材中，语...
(美)乔治·J.E.格雷西亚著2009 年出版340 页ISBN：9787010076096
格雷西亚教授是一位在当代美国哲学界影响广泛、成就显赫的著名学者，曾任美国形而上学研究会主席、美国天主教哲学学会主席等重要学术职务。...
（法）菲利普·迪里巴尔纳（Philippe dIribarne）著；马国华，葛智强译2005 年出版284 页ISBN：7100043840
本书作者以历史文化和民族传统的视角，用对比的方法论述了企业管理问题。
