Proof Theory and Intuitionistic Systems
ISBN-13: 9780387055411