返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书对初步、经典的数理逻辑进行了讲述,介绍了命题演算、谓词演算、模态逻辑演算,以及构造性逻辑演算等几方面内容。