Books on art of deduction