Basic Proof Theory, volume 43 of Cambridge Tracts (1996)

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