Proof Theory - häftad, Engelska, 2008