Books about Deductive reasoning