陸鍾萬

內容簡介

本書敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯。本書在選材時考慮了邏輯系統的特徵，並且適應計算機科學的要求，本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節附有習題。

本書讀者對象：高校計算機專業師生，科研人員。