Title: Identity of proofs
First published: 2001
Subjects: Proof theory
LC classification: QA9.54 .W54 2001