Title: Conjecture and proof
First published: 2001
Subjects: Proof theory, Mathematics