《計算機科學中的現代邏輯學》是2001年9月科學出版社出版的圖書，作者是王元元。
基本介紹
- 作者：王元元編
- ISBN：9787030010674
- 頁數：266
- 定價：28.0
- 出版社：科學出版社
- 出版時間：2001-9
- 裝幀：平裝
內容介紹
1989年科學出版社出版了《計算機科學中的邏輯學》，該書於1992年獲國家優秀教材獎，1997年被國家教委列為“九五“規劃重點發展教材。根據教材建設的需要，借本次重印之機，對原書的內容進行了增補，其主要內容包括：形式化和形式系統的概論，命題演算形式系統，各種形式的一階謂詞演算形式系統，直覺主義的一階謂詞演算形式系統等內容。
