計算機科學中的現代邏輯學

內容介紹

1989年科學出版社出版了《計算機科學中的邏輯學》，該書於1992年獲國家優秀教材獎，1997年被國家教委列為“九五“規劃重點發展教材。根據教材建設的需要，借本次重印之機，對原書的內容進行了增補，其主要內容包括：形式化和形式系統的概論，命題演算形式系統，各種形式的一階謂詞演算形式系統，直覺主義的一階謂詞演算形式系統等內容。