逻辑进阶

赛义甫

本系列适合有一定逻辑入门基础或修习过【普通逻辑】、【形式逻辑】等课程、希望进一步从日常逻辑推理向符号逻辑和数理逻辑深入学习的学习者。本系列的书籍,更强调逻辑的严谨和精确,以形式语言为描述工具,探索各种逻辑系统的句法和语义问题以及逻辑与哲学、逻辑与语言的关系,以及自亚里士多德至近代的逻辑发展史。本系列内容有别于【数理逻辑】。 本系列适合有一定逻辑入门基础或修习过【普通逻辑】、【形式... 展开

20

查看更多豆列

豆瓣
免费下载 iOS / Android 版客户端