豆瓣
扫码直接下载
作为教科书或教科书的辅助读物极好，推导讲解很详细。但是对于想了解直觉主义引入动机的人来说，读完只获得“直觉主义逻辑是经典逻辑的一个真子系统”这个概念，显然无法满意，毕竟，真子系统的能力是弱于系统本身的，那为什么我不用更强大的系统呢？对天然的数学柏拉图主义者来说，理解直觉主义者的动机是更令人感兴趣的地方，而这点本书显然是几乎完全不涉及。
命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然
> 经典逻辑与直觉主义逻辑
0 有用 free_POC 2026-03-22 10:12:00 四川
作为教科书或教科书的辅助读物极好，推导讲解很详细。但是对于想了解直觉主义引入动机的人来说，读完只获得“直觉主义逻辑是经典逻辑的一个真子系统”这个概念，显然无法满意，毕竟，真子系统的能力是弱于系统本身的，那为什么我不用更强大的系统呢？对天然的数学柏拉图主义者来说，理解直觉主义者的动机是更令人感兴趣的地方，而这点本书显然是几乎完全不涉及。
0 有用 pysuxing 2014-09-09 00:57:49
命题逻辑和谓词逻辑的自然推理系统，讲授清楚自然