集合・論理に絞った参考書でお薦めがあれば教えてください。