Introduction To Formal Logic by Peter Smith