Reliable Reasoning by Gilbert Harman & Sanjeev Kulkarni