Text this: Mathematics and logic in history and in contemporary thought /