Text this: Proof theory and logical complexity / Jean-Yves Girard.