盲点: 逻辑学讲义

本书可谓是逻辑学家Jean-Yves Girard的思想之大成.

第I部分 基本

第II部分 关于Curry-Howard

第III部分 线性逻辑

第IV部分 极化解释

第V部分 圣像破坏

第VI部分 交互几何