Title: Memoirs of a proof theorist
First published: 2004
Subjects: Proof theory