Structural Proof Theory - innbundet, Engelsk, 2001