Basic proof theory, Cambridge Tracts (1973)

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