Formal Logic door Richard C. Jeffrey & Richard Jeffrey