Title: Identity of Proofs (Stockholm Studies in Philosophy, 22)
Subjects: Proof theory