在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 逻辑相关 (GAND)
- deepseek推荐 (心流)
- 逻辑数学类? (J.F)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有31人想读,手里有一本闲着?
订阅关于经典逻辑与直觉主义逻辑的评论:
feed: rss 2.0
订阅关于经典逻辑与直觉主义逻辑的评论:
feed: rss 2.0
0 有用 free_POC 2026-03-22 10:12:00 四川
作为教科书或教科书的辅助读物极好,推导讲解很详细。但是对于想了解直觉主义引入动机的人来说,读完只获得“直觉主义逻辑是经典逻辑的一个真子系统”这个概念,显然无法满意,毕竟,真子系统的能力是弱于系统本身的,那为什么我不用更强大的系统呢?对天然的数学柏拉图主义者来说,理解直觉主义者的动机是更令人感兴趣的地方,而这点本书显然是几乎完全不涉及。
0 有用 pysuxing 2014-09-09 00:57:49
命题逻辑和谓词逻辑的自然推理系统,讲授清楚自然