Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
'This is a fine book. Any computer scientist with some logical background will benefit from studying it. It is written by two of the experts in the field and comes up to their usual standards of precision and care.' Ray Turner, Computer Journal