Large book cover: Studies and Exercises in Formal Logic