当前位置:首页 > 逻辑与计算机科学哲学相关PDF电子书下载
-
-
-
-
-
-
-
-
面向计算机科学的数理逻辑
陆钟万著2002 年出版263 页ISBN:7030096576《面向计算机科学的数理逻辑(第2版)》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑(第2版)》在选材...
-
-