The Nature And Power Of Mathematics by Donald M. Davis