Introduction to Logic: Predicate Logic (2nd Edition)