Text this: Studies and Exercises in Formal Logic