面向計算機科學的數(shù)理邏輯

《面向計算機科學的數(shù)理邏輯》敘述了與計算機科學有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎性內(nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構(gòu)造性邏輯和模態(tài)邏輯.《面向計算機科學的數(shù)理邏輯》在選材時考慮了邏輯系統(tǒng)的特征，并且適應計算機科學的要求，《面向計算機科學的數(shù)理邏輯》研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題?！睹嫦蛴嬎銠C科學的數(shù)理邏輯》大部分章節(jié)附有習題。