"Studies and Exercises in Formal Logic" by John Neville Keynes takes a look at philosophy and how logic is formed and developed. Beginning with the characteristics of logic, the book defines what it is and how it affects language, psychology, and life in general in a useful way. Keynes then goes on to lay out all the terms and grammar that come along with this sort of formal logic. The book even has exercises that can help ensure readers fully understand concepts before moving on.