Text this: An Introductory Logic.