(美)维克托·勒维讷著;上海外国语学院英语翻译组,上海市“五·七”干校对六连翻译组合译1973 年出版636 页ISBN:11171·32
李小五编著2005 年出版238 页ISBN:7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容;模态逻辑介绍句子层次上(命题型的)模态逻辑最基本的内容。...
(南朝宋)范晔著;启五译注2015 年出版338 页ISBN:9787550239197
《后汉书》是一部纪传体断代史,上溯王莽时期,下至汉献帝刘协时期。该书主要包括帝王、皇后及诸侯大臣的本纪和各式人物的传记。《后汉书》与《史记》《汉书》及《三国志》合称“正史”的“前四史”,在中华文化...