Title: The grammar of mathematics
Subjects: Symbolic and mathematical Logic