Text this: Language logic and mathematics /