Structural Proof Theory - inbunden, Engelska, 2001