Title: Mathematical reasoning
First published: 2003
Subjects: Proof theory, Mathematics