（荷）约翰·范本特姆著；刘奋荣，余俊伟等译2008 年出版403 页ISBN：9787030205254
本书是由我们翻译的世界著名逻辑学家范本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在...
余俊伟著2014 年出版190 页ISBN：9787516143155
本书系统地论述了各种形态否定词的特征，包括直觉主义逻辑、相干逻辑以及弗协调逻辑等三种非经典逻辑中的否定，以及比直觉主义更弱的一些系统中的否定。作者从多种角度、多个方面来阐释其中的否定词，特别是对一...
（美）雷蒙德 M.斯穆里安著；余俊伟译2019 年出版164 页ISBN：9787030596345
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...
英国童子军协会著；荆慧泽，钱俊伟译；钱俊伟审校2014 年出版184 页ISBN：9787115337320
本书是由知名的英国童子军协会编写的一本关于户外探险所学知识的宝典，介绍了户外探险所需要的基本知识和技巧（必需的装备、寻找方向、扎营技巧、寻找食物、紧急救援），除了必要的说明和步骤以外，本书还以大量的图...
（美）陈俊伟著2008 年出版521 页ISBN：9787802540330
本书是对旧约圣经所进行的研究。全书共分六章，分别对智慧文学、先知与预言等内容进行阐释。
