The blind spot : lectures on logic - Girard, Jean-Yves, 1947- (European Mathematical Society, 2011)