浙大最好的逻辑学老师的题库关于传统命题的题库
十五分钟逻辑学的笔记
《逻辑学导论》是2007年由人民大学出版社出版的图书,作者是(美)欧文·M·柯匹,(美)科恩。《逻辑学导论》是当今逻辑教科书的标准范本,它能够使学生理解并应用古典三段论逻辑和更为强有力的现代符号逻辑技
逻辑学教科书,入门级,适合联系英语
基于英文维基百科精选内容编辑而成。主要贡献包括:校对验证参考文献和注释,删除错误链接和引用;按照参考书方式重新组织内容,审阅内容的完整性和正确性,确保所有内容的质量,避免在使用维基百科时阅读低质量内容
数理逻辑经典书籍,强烈推荐哦。。。。。。。。。。。。。。
北京大学数学学院和信息科学系数理逻辑课件。
赵老师的数理逻辑课程所用的课件。希望对能对大家的学习有所帮助
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
计算机方面的书,主要是数理逻辑,在数学方面也可以参考。