Books about Logical deduction