Basic Proof Theory. Cambridge Tracts (1996)

by A S Troelstra, H Schwittenberg
Venue:in Theoretical Computer Science