本書是面向計算機(jī)科學(xué)的數(shù)理邏輯即系統(tǒng)與建模(中文版-第二版)，是關(guān)于離散數(shù)學(xué)，數(shù)理邏輯方面很有用的參考書。