一本有关离散数学的书,还讨论了数学推理和逻辑。