Girard, Jean-Yves
The blind spot : lectures on logic
Zurich, Zwitzerland : European Mathematical Society, 2011. xiii, 537 p. 
QA9.54 G56