孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
罗广斌，杨益言著；边远，孙明珍，符晶编；方洲主编；段其民，徐林副主编2011 年出版252 页ISBN：9787500126423
本书是一部描写重庆解放前夕严酷的地下斗争特别是狱中斗争的长篇小说。作品真实地展现了国民党统治行将覆灭、解放战争走向全国胜利的斗争形势和时代风貌，成功地塑造了以许云峰、江姐、成岗和华子良等为代表...
