The Language of Mathematics : A Linguistic and Philosophical Investigation - Mohan Ganesalingam ((Lecture Notes in Computer Science))