The nature and power of mathematics / Donald M. Davis. Princeton, NJ : Princeton Univ. Press, 1993