Logic : Techniques of Formal Reasoning - Kalish, Donald (Oxford University)