逻辑中的表列方法

分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法...

梵刚菩萨戒经

五十悟 李燕刚感言集

本书是人生哲学类图书，是作者几十年人生经历的感言录，内容涉及人生、情感、心理解密、养生、健美、望诊、学书、商战等与人们生活有关的方方面面。...

帝王厚黑智慧：仁·义·智·勇·刚

禅味男女 百炼刚

本书从千百年来流传的经典禅理小故事中精选了部分禅故事，并将禅的智慧和现代生活中的工作、爱情、婚姻相融合，对禅的智慧进行通俗的阐释，尽量使每一篇故事如同清晨时的一缕阳光，令人读时清爽惬意，读后又能洞悟故...

藏密无上瑜加系列功法 4 大金刚瑜伽母拳法

刚恒毅与中国天主教的本地化

本书以首任驻华宗座代表刚恒毅（Celso Costantini, 1876-1958）在华教务活动（1922-1933）为经，以同时期中国天主教的“本地化”运动为纬，在充分利用最新教廷档案的基础上，以多语种文献，多元研究视觉为解读进路，综合、立...

怎么快乐怎么来

谁没有体会过碰壁的感觉呢？可是如果人们在逆境中看不到积极的东西就会使不幸变成灾难。这本书将有目的地帮助你运用极其简单的方法在逆境中保持快乐，发挥你的创造力。...

工作源动力 气怎么理才顺，活怎么干才爽

本书分成五个部分，分别讲述了如何克服冲动心理、找到管理和现实的平衡点、重建思考的心智模式、纠正偏差的平衡心理和意识与动力的关系，让读者从这些方面进行自我“修正”，从而得到良好的心理锻炼。本书通过案...

孤独，怎么了