Propositional and Predicate Calculus by Derek Goldrei