Princeton Companion To Mathematics - slight revision