经典离散数学教材!逻辑分析、图论适用!