Basic Proof Theory, volume 43 of Cambridge Tracts in Theoretical Computer Science (1996)

by A S Troelstra, H Schwichtenberg
Venue:BA2 7AY, UK, http://cs.bath.ac.uk/pb/ AND http://alessio.guglielmi.name/res