文件名称：数理逻辑基础（希尔柏脱 阿克曼）
文件大小：6.98MB
文件格式：RAR
更新时间：2014-05-16 04:27:15
数理逻辑 希尔柏脱 阿克曼
希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算
【文件预览】：
数理逻辑基础（希尔柏脱 阿克曼）.pdf
数理逻辑基础（希尔柏脱 阿克曼）
【文件属性】：
【文件预览】：
数理逻辑基础（希尔柏脱 阿克曼）.pdf
【文件预览】：
数理逻辑基础（希尔柏脱 阿克曼）.pdf
网友评论
- 很数学的书，清晰程度一般。
- 是繁体字翻译版的，包括命题演算、类演算（一元谓词演算）、狭义谓词演算、广义谓词演算