Return to Article Details Alan Bundy: The computer modelling of mathematical reasoning. Download Download PDF