The Work Computer modelling of mathematical reasoning The details The Author Alan Richard Bundy The offers