Publisher Description

This text is designed for instructors who want a complete set of rules for first order predicate (Quantifier) logic, with identity, and a good range of other material. The authors approach through all...