面向計算機科學的數理邏輯(1998年科學出版社出版的圖書)

《面向計算機科學的數理邏輯》是1998年科學出版社出版的圖書，作者是陸鐘萬。

基本介紹

• 中文名：面向計算機科學的數理邏輯
• 作者：陸鐘萬
• 出版社：科學出版社
• 出版時間：1998年1月
• ISBN：7030060652

圖書目錄

• 前言
• 目錄
• 緒論
• 第一章 預備知識
• 第二章 經典命題邏輯
• 第三章 經典一階邏輯
• 第四章 可靠性和完備性
• 第五章 公理推演系統
• 第六章 構造性邏輯
• 第七章 模態命題邏輯
• 第八章 模態一階邏輯
• 附錄 自然推演中形式證明的簡明形式
• 參考文獻
• 符號表
• 名詞表