推荐 逻辑学导论 欧文M柯匹 卡尔科恩 中国人民大学出版社 这本书写的知识点挺全面的 形式逻辑和数理逻辑都有。这本书有介绍逻辑学史，如果你还想深入了解逻辑学史，就买再本逻辑学思想史。也可以买本西方哲学史里面有一些逻辑思想发展的介绍。
《果壳中的宇宙 》《大设计》等
