Mathematics: proof, logic and inhibitions (2009)

by Adrian Simpson
Venue:Proceedings of ICMI Study