返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书是高等数学的学习指导书。
本书用故事的形式讲历史,再现中国五千年的历史,配有插图。
本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容:命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。