Bảy phương pháp giải các bài toán Logic - Đặng Huy Ruận (Khoa học và kỹ thuật, 2002)