Text this: Elementary Mathematics: a logical approach