图书详情
书名: 面向计算机科学的数理逻辑
ISBN: 7-03-009657-6
作 者: 陆钟万著
出版社: 科学出版社
出版日期: 2002
简 介
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
书名: 面向计算机科学的数理逻辑
ISBN: 7-03-009657-6
作 者: 陆钟万著
出版社: 科学出版社
出版日期: 2002