The book teaches how to symbolize English into propositional and predicate logic. It addresses simple and compound propositions, quantifiers, relations, and symbolizations involving multiple quantifiers. The book contains 19 interactive 'widgets' which the User or Reader can use to do interactive exercises on their own. Most of these just require gestures with fingers, such as tapping or swiping. But many of the widgets will accept typed, or pasted, input. The book also contains seven videos. The book explains and discusses its topics at an introductory college level.