面向计算机科学的数理逻辑 | 2版

面向计算机科学的数理逻辑 | 2版
7030096576
陆钟万著
中国科学院研究生教学丛书
O141
科学出版社
2002-05
2002
2002
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。