Reference. The Blind Spot: Lectures on Logic [girard2011]

These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic.