道义逻辑研究

余俊伟著2005 年出版305 页ISBN：750045239X

逻辑、信息和互动

（荷）约翰·范本特姆著；刘奋荣，余俊伟等译2008 年出版403 页ISBN：9787030205254

本书是由我们翻译的世界著名逻辑学家范本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在...

数理逻辑基础 一阶逻辑与一阶理论

陈慕泽，余俊伟著2003 年出版244 页ISBN：7300049427

本书介绍数理逻辑的基础部分。

否定词研究

余俊伟著2014 年出版190 页ISBN：9787516143155

本书系统地论述了各种形态否定词的特征，包括直觉主义逻辑、相干逻辑以及弗协调逻辑等三种非经典逻辑中的否定，以及比直觉主义更弱的一些系统中的否定。作者从多种角度、多个方面来阐释其中的否定词，特别是对一...

哥德尔不完全性定理

（美）雷蒙德 M.斯穆里安著；余俊伟译2019 年出版164 页ISBN：9787030596345

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...

终极户外探险技能手册 彩印

英国童子军协会著；荆慧泽，钱俊伟译；钱俊伟审校2014 年出版184 页ISBN：9787115337320

本书是由知名的英国童子军协会编写的一本关于户外探险所学知识的宝典，介绍了户外探险所需要的基本知识和技巧（必需的装备、寻找方向、扎营技巧、寻找食物、紧急救援），除了必要的说明和步骤以外，本书还以大量的图...

抢抓金牛股

刘俊伟，刘向著2016 年出版174 页ISBN：7513641388

旧约导论

（美）陈俊伟著2008 年出版521 页ISBN：9787802540330

本书是对旧约圣经所进行的研究。全书共分六章，分别对智慧文学、先知与预言等内容进行阐释。

史记 1

（西汉）司马迁著；甘宏伟，江俊伟译注2017 年出版622 页ISBN：7540342043

比较票据法

乐俊伟著1936 年出版172 页ISBN：