Formal Logic - Jago, Mark. (Cambridge)