download book logic short pdf