Title: The nature of mathematical proof
First published: 2005
Subjects: Congresses, Proof theory