"Introduces three basic logical systems: categorical logic, propositional logic, and predicate logic, identifying in each system essential methods to test arguments and offering illustrations and exercies to assist the reader in mastering these skills."--