Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science 43 (1996)

by A S Troelstra, H Schwichtenberg