The companion guide to the mathematical experience study edition - Davis, Philip J.