Introductory Symbolic Logic
John K. Wilson
The subject matter is monadic predication, a type of predication in propositional logic, and its application to truth-values and validity.
