Text this: Elements of logic via numbers and sets /