Books about logic.