Proofs as bearers of mathematical knowledge (2008)

by G Hanna, E Barbeau
Venue:ZDM