Text this: Elementary mathematics : A logical approach