Basic proof theory - Troelstra A S; Schwichtenberg H (Cambridge CUP, 2000)
Keywords: Proof theory