半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

世界最伟大的100发明发现

本书能使读者在了解科学知识、原理的同时，了解发明家艰辛的发明过程，以及他们最初那灵感突发的一瞬。

会泽金钟 乌蒙会馆的发现和重访

本书图文并茂的介绍了丽江纳西族自治县大研镇的人文风情、自然风光。

放大抓小 发现小市值中的黑马

发现二战中的谜团真相

本书讲述了二战中的谜团真相，以迷团为主线，对二战中的秘密进行描述，使读者加深对二战的了解与理解。

新中国的考古发现和研究

本书记述新中国成立后三十年内的重要考古发现情况。

发现，然后培育你的领导力

中国石油天然气的勘查与发现

传统智慧再发现 精神的现实与超越 下

快乐心灵的发现故事

本套丛书共56册，精选广大中小学生喜闻乐见的古今中外的著名故事编纂而成，分为56个主题，每册故事围绕一个主题选取经典故事，启迪和教育读者，适合青少年阅读和收藏。本册以“唐诗”为主题。...