盲点: 逻辑学讲义
本书可谓是逻辑学家Jean-Yves Girard的思想之大成.
第I部分 基本
第II部分 关于Curry-Howard
第III部分 线性逻辑
第IV部分 极化解释
第V部分 圣像破坏
第VI部分 交互几何