3 works on record
Proofs and Computations (Perspectives in Logic)
Proofs and Computations
2011
Proof Theory