Formal Logic by Richard C. Jeffrey & Richard Jeffrey