Book - Studies and Exercises in Formal Logic